compilers
|
Merge staging-next into staging
|
2021-02-19 10:47:46 +10:00 |
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 |
libraries
|
Merge staging-next into staging
|
2021-02-19 06:18:06 +00: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 |
python-modules
|
Merge staging-next into staging
|
2021-02-19 06:18:06 +00:00 |
tools
|
Merge staging-next into staging
|
2021-02-19 06:18:06 +00:00 |