coq-modules
|
coqPackages.QuickChick: 1.6.5 → 2.0.1
|
2023-12-13 06:11:56 +01:00 |
embedded
|
xc3sprog: fix build with gcc 11+
|
2023-12-12 02:15:30 +01:00 |
lisp-modules
|
sbclPackages.nasdf: deprecate
|
2023-12-13 19:36:13 +08:00 |
misc
|
datafusion-cli: 32.0.0 -> 33.0.0
|
2023-12-09 03:19:54 +00:00 |
ocaml-modules
|
ocamlPackages.angstrom: 0.15.0 → 0.16.0
|
2023-12-15 06:40:48 +01:00 |
php-packages
|
phpExtensions.relay: Fix dylib in Darwin
|
2023-12-12 22:17:20 +01:00 |