coq-modules
|
coqPackages.coq-elpi: 1.6.0 -> 1.6.1
|
2021-03-22 11:40:34 +01:00 |
haskell-modules
|
haskellPackages.darcs: unbreak
|
2021-03-23 00:32:53 +01:00 |
interpreters
|
cling: use python3
|
2021-03-25 12:00:51 +01:00 |
libraries
|
Merge pull request #117499 from rnhmjoj/leveldb
|
2021-03-25 15:35:01 +01:00 |
node-packages
|
kaput-cli: init at 1.1.1
|
2021-03-25 10:35:12 +01:00 |
ocaml-modules
|
ocamlPackages.git: 3.3.2 -> 3.3.3
|
2021-03-25 20:04:23 +01:00 |
tools
|
electron_12: 12.0.1 -> 12.0.2
|
2021-03-25 21:53:23 +00:00 |
web
|
deno: 1.8.1 -> 1.8.2
|
2021-03-22 00:16:07 +00:00 |