compilers
|
Unmaintain a bunch of packages
|
2015-07-01 08:11:05 -04:00 |
coq-modules
|
ssreflect, mathcomp: better package names
|
2015-06-19 18:11:33 +02:00 |
interpreters
|
Unmaintain a bunch of packages
|
2015-07-01 08:11:05 -04:00 |
ocaml-modules
|
Merge pull request #8586 from vbgl/ocaml-updates
|
2015-07-02 12:06:29 +03:00 |
pharo
|
Update pharo-vm to 2015.04.30
|
2015-06-12 22:57:30 +02:00 |
python-modules
|
pyqt5: make it actually 5.4.2
|
2015-06-28 02:18:58 +03:00 |
tools
|
Merge pull request #8586 from vbgl/ocaml-updates
|
2015-07-02 12:06:29 +03:00 |
web
|
Unmaintain a bunch of packages
|
2015-07-01 08:11:05 -04:00 |