coq-modules
|
coq-ext-lib: 0.9.0-beta3 -> 0.9.3
|
2016-04-12 19:43:49 +02:00 |
haskell-modules
|
ghcjs: update sources to latest
|
2016-04-16 01:55:56 -04:00 |
interpreters
|
angelscript: 2.30.2 -> 2.31.0
|
2016-04-13 14:47:04 +02:00 |
libraries
|
nghttp2: more stable url (hopefully)
|
2016-04-16 09:51:58 +01:00 |
ocaml-modules
|
Merge branch 'master' into closure-size
|
2016-04-10 11:17:52 +02:00 |
perl-modules
|
Merge 'staging' into closure-size
|
2016-04-07 14:40:51 +02:00 |
pharo
|
pharo-no-spur: 2015.08.06 -> 2016.02.18
|
2016-04-06 08:53:53 +02:00 |
python-modules
|
pygame: Fix build with multiple outputs
|
2016-04-15 05:35:11 +02:00 |
tools
|
cppcheck: 1.72 -> 1.73
|
2016-04-15 17:43:50 +02:00 |