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 |
haskell-modules
|
Merge branch 'master' into staging
|
2015-06-25 09:15:05 -05: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
|
remove obsolete part of gyp patch
|
2015-06-26 09:54:49 -07:00 |
web
|
Merge branch 'master' into staging
|
2015-06-25 09:15:05 -05:00 |