coq-modules
|
coq-ext-lib: c2c71a2a -> 0.9.0 & 1.0.0-beta2
|
2015-09-27 10:24:25 +02:00 |
interpreters
|
darwin: python35: add needed inputs
|
2015-10-22 07:56:40 +03:00 |
libraries
|
movit: update from 1.1.3 to 1.2.0
|
2015-10-25 19:09:45 +01:00 |
ocaml-modules
|
ocaml-x509: init at 0.4.0
|
2015-10-18 00:13:16 +02:00 |
pharo
|
xlibs: replace occurrences by xorg
|
2015-09-15 12:54:34 +02:00 |
python-modules
|
pyatspi: 2.16.0 -> 2.18.0
|
2015-10-23 14:33:46 +02:00 |
web
|
nodejs-0.10: apply gyp patches to node-gyp in fixup
|
2015-10-16 18:37:50 -07:00 |