compilers
|
Merge master into staging-next
|
2019-10-20 16:22:45 +02:00 |
coq-modules
|
coq_8_10: 8.10+β3 → 8.10.0
|
2019-10-16 02:43:46 +00:00 |
haskell-modules
|
haskellPackages.nix-tools: Fix build
|
2019-10-18 22:50:37 +02:00 |
libraries
|
Merge staging-next into staging
|
2019-10-20 17:03:09 +02:00 |
ocaml-modules
|
ocamlPackages.eliom: 6.7.0 → 6.8.0
|
2019-10-20 06:44:41 +00:00 |
perl-modules
|
Merge staging-next into staging
|
2019-10-16 11:17:12 +02:00 |
python-modules
|
python: zope.testrunner: 5.0 -> 5.1
|
2019-10-20 17:33:43 +02:00 |
tools
|
Merge branch 'staging-next' into staging
|
2019-10-20 16:49:29 +02:00 |