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 |
libraries
|
Merge pull request #8621 from deepfire/master
|
2015-07-04 11:29:29 +02: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 |
pure-modules
|
Fairly complete set of packages for Pure
|
2015-05-26 17:51:07 +10:00 |
python-modules
|
pyqt5: make it actually 5.4.2
|
2015-06-28 02:18:58 +03:00 |
qtcreator
|
qtcreator: fix hash
|
2015-07-04 03:38:53 +03:00 |
tools
|
Merge pull request #8586 from vbgl/ocaml-updates
|
2015-07-02 12:06:29 +03:00 |
web
|
Update io.js (2.3.1 -> 2.3.3)
|
2015-07-04 07:42:44 +02:00 |