coq-modules
|
coqPackages.math-classes: 8.9.1 → 8.11.0
|
2020-07-19 18:41:00 +02:00 |
interpreters
|
rakudo: 2020.06 -> 2020.07
|
2020-07-22 15:04:47 +02:00 |
libraries
|
Merge pull request #93568 from aaronjanse/aj-redox
|
2020-07-22 12:56:00 -04:00 |
node-packages
|
nodePackages.pyright: init at 1.1.54
|
2020-07-19 13:38:55 -07:00 |
ocaml-modules
|
ocamlPackages.tsort: init at 2.0.0
|
2020-07-22 20:00:16 +02:00 |
perl-modules
|
strip-nondeterminism: fix build on darwin
|
2020-07-18 07:30:00 -05:00 |
tools
|
poetry2nix: 1.10.0 -> 1.11.0
|
2020-07-22 17:04:47 +02:00 |