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 |
go-modules/generic
|
goPackages: Build on hydra
|
2015-05-22 15:58:51 -07:00 |
interpreters
|
Unmaintain a bunch of packages
|
2015-07-01 08:11:05 -04:00 |
libraries
|
Merge pull request #8563 from akaWolf/master
|
2015-07-01 17:16:16 +03:00 |
ocaml-modules
|
ocaml-re: 1.4.0 -> 1.4.1
|
2015-07-01 20:23:19 +02: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 |
tools
|
checkstyle: update from 6.8 to 6.8.1
|
2015-07-01 20:21:33 +02:00 |
web
|
Unmaintain a bunch of packages
|
2015-07-01 08:11:05 -04:00 |