compilers
|
Merge staging-next into staging
|
2019-10-16 11:17:12 +02:00 |
coq-modules
|
coq_8_10: 8.10+β3 → 8.10.0
|
2019-10-16 02:43:46 +00:00 |
haskell-modules
|
haskellSrc2nix
|
2019-10-15 11:23:33 -04:00 |
libraries
|
gnupg: disable gui/pinentry support by default
|
2019-10-16 20:31:16 -04:00 |
ocaml-modules
|
ocamlPackages.lru: 0.2.0 → 0.3.0
|
2019-10-16 02:42:25 +00:00 |
perl-modules
|
Merge staging-next into staging
|
2019-10-16 11:17:12 +02:00 |
python-modules
|
python: pylint: 2.3.1 -> 2.4.2
|
2019-10-18 09:54:04 +02:00 |
tools
|
Merge staging-next into staging
|
2019-10-16 11:17:12 +02:00 |