coq-modules
|
elpi: 1.12.0 -> 1.13.0
|
2021-02-18 22:26:10 +01:00 |
haskell-modules
|
cabal-install: fix build on ghc901
|
2021-02-18 20:15:47 +01:00 |
interpreters
|
python.tests: test overriding functions
|
2021-02-19 10:12:21 +01:00 |
node-packages
|
nodePackages.ganache-cli: init at 6.12.2
|
2021-02-18 21:15:34 +01:00 |
ocaml-modules
|
elpi: 1.12.0 -> 1.13.0
|
2021-02-18 22:26:10 +01:00 |
php-packages
|
php73Packages.phpstan: 0.12.74 -> 0.12.76
|
2021-02-17 16:34:04 +00:00 |
ruby-modules
|
gitlab: 13.7.4 -> 13.8.4 (#112836)
|
2021-02-17 22:55:14 +01:00 |