compilers
|
Fixed some licenses
|
2015-06-10 13:00:42 +02:00 |
coq-modules
|
coq-tlc: fix package
|
2015-06-02 13:53:17 +02:00 |
go-modules/generic
|
goPackages: Build on hydra
|
2015-05-22 15:58:51 -07:00 |
libraries
|
zeromq: update to version 4.1.1
|
2015-06-10 10:07:46 +02:00 |
ocaml-modules
|
ocaml-re: update from 1.3.1 to 1.4.0
|
2015-06-06 12:08:09 +02:00 |
pure-modules
|
Fairly complete set of packages for Pure
|
2015-05-26 17:51:07 +10:00 |
tools
|
Bump d-feet to 0.3.9
|
2015-06-08 00:10:48 +02:00 |
web
|
Update iojs to v.2.2.1
|
2015-06-01 15:34:31 +02:00 |