applications
|
coq_HEAD: Update
|
2014-10-09 14:52:35 -05:00 |
build-support
|
fix fetchurl
|
2014-10-05 19:23:27 +02:00 |
data
|
poppler_data: update from 0.4.6 to 0.4.7
|
2014-10-07 23:22:09 +02:00 |
os-specific
|
lockdep: 3.16.1 -> 3.17
|
2014-10-09 16:59:14 -05:00 |
servers
|
mariadb: 10.0.13 -> 10.0.14
|
2014-10-09 17:01:06 -05:00 |
shells
|
zsh: update from 5.0.6 to 5.0.7
|
2014-10-09 09:43:33 +02:00 |
test
|
s/dependancy/dependency/
|
2014-09-10 00:28:49 +01:00 |
tools
|
Updating inadyn to 1.99.10.
|
2014-10-10 17:07:17 +02:00 |
top-level
|
pysocks: Fix license typo
|
2014-10-10 10:42:19 +11:00 |