coq-modules
|
coq-coqeal: fix installation
|
2015-05-29 11:42:45 +02:00 |
go-modules/generic
|
goPackages: Build on hydra
|
2015-05-22 15:58:51 -07:00 |
interpreters
|
Update Octave to 4.0.0
|
2015-05-31 11:01:51 +03:00 |
ocaml-modules
|
ocaml-hex: update from 0.1.0 to 0.2.0
|
2015-06-01 22:37:04 +02:00 |
pure-modules
|
Fairly complete set of packages for Pure
|
2015-05-26 17:51:07 +10:00 |
python-modules
|
boto: Remove obsolete patch
|
2015-05-29 11:21:49 -04:00 |
tools
|
checkstyle: update from 6.6 to 6.7
|
2015-05-31 20:25:33 +02:00 |
web
|
Update iojs to v.2.2.1
|
2015-06-01 15:34:31 +02:00 |