compilers
|
Merge branch 'staging-next'
|
2020-05-07 19:56:25 +02:00 |
coq-modules
|
coqPackages.gappalib: 1.4.1 → 1.4.3
|
2020-04-29 06:56:14 +02:00 |
interpreters
|
mujs: 1.0.6 -> 1.0.7
|
2020-05-06 23:22:01 -07:00 |
libraries
|
cpp-utilities: 5.3.0 -> 5.4.0
|
2020-05-07 11:21:29 -07:00 |
node-packages
|
lumo 1.10.1: fix missing npm dependency
|
2020-05-04 22:17:10 +02:00 |
ocaml-modules
|
ocamlPackages.gapi-ocaml: 0.3.6 -> 0.3.19
|
2020-05-07 22:29:52 +02:00 |
tools
|
cargo-make: 0.30.6 -> 0.30.7
|
2020-05-08 00:00:24 +02:00 |
web
|
postman: 7.21.2 -> 7.23.0
|
2020-05-07 11:22:30 -07:00 |