coq-modules
|
coq-tlc: fix package
|
2015-06-02 13:53:17 +02:00 |
interpreters
|
Adding Lua 5.3, seems to work
|
2015-06-02 20:32:12 +03:00 |
libraries
|
New flag for compiling libyaml-cpp as PIC.
|
2015-06-08 11:17:50 +02:00 |
ocaml-modules
|
ocaml-uri: update from 1.7.2 to 1.9.0
|
2015-06-02 13:53:17 +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
|
sassc: 3.2.1 -> 3.2.4
|
2015-06-01 01:28:18 -04:00 |
web
|
Update iojs to v.2.2.1
|
2015-06-01 15:34:31 +02:00 |