compilers
|
Merge branch 'master' into staging
|
2016-02-17 10:06:31 +01:00 |
coq-modules
|
coqPackages.contribs.Bertrand: fix hash
|
2016-02-08 10:10:38 +00:00 |
interpreters
|
Merge branch 'master' into staging
|
2016-02-17 10:06:31 +01:00 |
libraries
|
vcg: init at 2016-02-14
|
2016-02-17 16:54:05 +03:00 |
ocaml-modules
|
ocaml-x509: 0.4.0 -> 0.5.0
|
2016-02-03 15:45:21 +01:00 |
pharo
|
pharo-vm: 2016.01.14 -> 2016.02.15
|
2016-02-16 14:04:04 +01:00 |
python-modules
|
Merge branch 'master' into staging
|
2016-02-17 10:06:31 +01:00 |
tools
|
Merge branch 'master' into staging
|
2016-02-17 10:06:31 +01:00 |