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
|
Merge pull request #11730 from spwhitt/mopidy
|
2015-12-17 20:42:13 +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
|
Merge pull request #11753 from nlewo/master
|
2015-12-17 16:21:46 +01:00 |