coq-modules
|
coqPackages.mathcomp,ssreflect: 1.5 -> 1.6
|
2015-12-20 11:12:23 -08:00 |
erlang-modules
|
Add shell env to buildHex packages.
|
2015-12-19 00:07:54 +01:00 |
interpreters
|
ruby: new bundler infrastructure
|
2015-12-29 09:30:21 -05:00 |
libraries
|
at-spi2-*: maintenance updates on 2.18.*
|
2015-12-30 11:46:24 +01:00 |
ocaml-modules
|
ocaml-iso8601: init at 0.2.4
|
2015-12-15 22:43:25 +01:00 |
python-modules
|
pyqt5: Qt 5 infrastructure update
|
2015-12-20 07:56:39 -06:00 |
qtcreator
|
qtcreator: Qt 5 infrastructure update
|
2015-12-20 07:56:53 -06:00 |
tools
|
ruby: new bundler infrastructure
|
2015-12-29 09:30:21 -05:00 |