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 |
development
|
concurrencykit: 0.4.3 -> 0.4.4
|
2014-10-09 17:10:58 -05: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 |
tools
|
discount: new package
|
2014-10-10 16:23:26 +01:00 |
top-level
|
discount: new package
|
2014-10-10 16:23:26 +01:00 |