coq-modules
|
coq-ext-lib: 1.0.0-beta2 -> 0.9.0-beta3
|
2015-11-21 04:18:14 +01:00 |
haskell-modules
|
haskell-sdr: re-enable the test suite
|
2015-12-02 21:00:34 +01:00 |
idris-modules
|
idris-wl-pprint: Use fetchFromGitHub
|
2015-11-28 05:53:50 -05:00 |
interpreters
|
php70: 7.0.0RC6 -> 7.0.0
|
2015-12-02 12:54:04 +00:00 |
libraries
|
tbb: 4.2-u5 -> 4.4-u2
|
2015-12-01 00:11:51 +01:00 |
ocaml-modules
|
ocaml-dolog: 1.1 -> 3.0
|
2015-12-02 21:03:59 +01:00 |
perl-modules
|
perl-DBIx-Class: fix tests
|
2015-11-30 14:50:42 +01:00 |
python-modules
|
Fix build for python3Packages.spyder
|
2015-12-02 19:07:46 +01:00 |
r-modules
|
r-modules: update list of broken packages
|
2015-11-25 11:39:28 +01:00 |
tools
|
multi-ghc-travis: init at git-2015-11-04
|
2015-11-29 17:39:34 -08:00 |
web
|
nodejs: remove myself from the maintainers
|
2015-11-19 22:32:43 +01:00 |