coq-modules
|
coqPackages.flocq: 2.4.0 -> 2.5.0
|
2015-12-16 14:10:14 -08:00 |
idris-modules
|
idris-wl-pprint: Use fetchFromGitHub
|
2015-11-28 05:53:50 -05:00 |
interpreters
|
erlangR18: 18.0 -> 18.2
|
2015-12-17 09:01:49 +09:00 |
libraries
|
telepathy-qt: minor update, fix by patch, unify
|
2015-12-18 11:06:46 +01: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 |
qtcreator
|
qtcreator: 3.4.2 -> 3.5.1
|
2015-12-12 11:51:35 +01:00 |
r-modules
|
r-modules: update list of broken packages
|
2015-11-25 11:39:28 +01:00 |
tools
|
cabal2nix: update to version 20151217
|
2015-12-18 11:37:44 +01:00 |