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 |
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 |
python-modules
|
Merge pull request #274193 from fabaff/dep-scan
|
2023-12-15 11:44:19 +01:00 |
tools
|
gotools: 0.7.0 -> 0.16.1
|
2023-12-15 10:12:17 +01:00 |
web
|
bun: 1.0.16 -> 1.0.17
|
2023-12-13 10:54:37 +00:00 |