coq-modules
|
coq-flocq: 2.5.0 -> 2.5.1
|
2016-01-04 23:37:40 +01:00 |
erlang-modules
|
Add shell env to buildHex packages.
|
2015-12-19 00:07:54 +01:00 |
haskell-modules
|
saneBackends{,Git} -> sane-backends{,-git}
|
2016-01-03 03:31:38 +01:00 |
idris-modules
|
idris-wl-pprint: Use fetchFromGitHub
|
2015-11-28 05:53:50 -05:00 |
lisp-modules
|
asdf: 3.1.5 -> 3.1.6
|
2016-01-01 12:30:17 +03:00 |
ocaml-modules
|
ocaml-iso8601: init at 0.2.4
|
2015-12-15 22:43:25 +01:00 |
perl-modules
|
perl-DBIx-Class: fix tests
|
2015-11-30 14:50:42 +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
|
cargoUnstable: init at 2016-01-10
|
2016-01-13 13:48:24 +03:00 |