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.js_of_ocaml: 3.8.0 -> 3.9.1
|
2021-03-26 08:43:14 +01:00 |
tools
|
php73Extensions.blackfire: 1.49.1 -> 1.53.0
|
2021-03-26 09:50:54 +01:00 |
web
|
deno: 1.8.1 -> 1.8.2
|
2021-03-22 00:16:07 +00:00 |