coq-modules
|
coqPackages.math-classes: 8.9.1 → 8.11.0
|
2020-07-19 18:41:00 +02:00 |
interpreters
|
python39: 3.9.0a4 -> 3.9.0b5
|
2020-07-26 18:45:54 +02:00 |
libraries
|
Merge pull request #91777 from rnhmjoj/pango
|
2020-07-26 16:21:09 +02: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 |
python-modules
|
Merge branch 'staging-next' into staging
|
2020-07-23 08:32:33 +02:00 |
tools
|
Merge branch 'master' into staging-next
|
2020-07-23 08:19:14 +02:00 |
web
|
Merge branch 'staging-next' into staging
|
2020-07-23 08:32:33 +02:00 |