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 |
libraries
|
grpc: add jaxlib in passthru.tests
|
2023-12-13 15:49:25 +01:00 |
lisp-modules
|
sbclPackages.nasdf: deprecate
|
2023-12-13 19:36:13 +08:00 |
ocaml-modules
|
ocamlPackages.batteries: 3.7.1 → 3.7.2
|
2023-12-13 06:36:37 +01:00 |
php-packages
|
phpExtensions.relay: Fix dylib in Darwin
|
2023-12-12 22:17:20 +01:00 |
web
|
bun: 1.0.16 -> 1.0.17
|
2023-12-13 10:54:37 +00:00 |