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
|
swt: repair shared objects and refactor
|
2016-04-17 16:34:14 +02: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
|
gradle: fix attribute name for gcc libs path.
|
2016-04-17 01:09:24 +02:00 |