coq-modules
|
coqPackages.QuickChick: 1.6.2 → 1.6.4
|
2022-09-20 04:26:37 +02:00 |
embedded
|
arduino-cli: 0.25.1 -> 0.27.1
|
2022-09-17 13:32:44 +02:00 |
libraries
|
webkitgtk: 2.37.90 → 2.38.0
|
2022-09-20 19:35:24 +02:00 |
ocaml-modules
|
ocamlPackages.uuseg: 14.0.0 → 15.0.0
|
2022-09-19 18:46:57 +02:00 |
perl-modules
|
perlPackages.Po4a: disable tests on musl
|
2022-09-15 20:18:00 +02:00 |
web
|
deno: 1.25.2 -> 1.25.3
|
2022-09-16 08:46:21 +00:00 |