coq-modules
|
coqPackages.gappalib: 1.4.3 → 1.4.4
|
2020-08-30 07:26:32 +02:00 |
interpreters
|
luajit*: update to address CVE-2020-24372
|
2020-08-31 16:31:12 +02:00 |
libraries
|
kquickcharts: init at 5.73.0
|
2020-09-01 05:38:46 -05:00 |
node-packages
|
nodePackages: netlify-cli init at 2.59.1
|
2020-08-26 18:14:09 -07:00 |
ocaml-modules
|
ocamlPackages.mirage-stack: 2.0.1 → 2.1.0
|
2020-08-31 14:08:13 +02:00 |
tools
|
rust-cbindgen: 0.14.3 -> 0.14.4
|
2020-08-31 18:10:06 -07:00 |
web
|
deno: 1.3.1 -> 1.3.2
|
2020-08-30 11:23:09 -07:00 |