coq-modules
|
coqPackages.QuickChick: 1.6.5 → 2.0.1
|
2023-12-13 06:11:56 +01:00 |
embedded
|
platformio: 6.1.6 -> 6.1.11
|
2023-12-16 08:27:46 +01:00 |
lisp-modules
|
sbclPackages.nasdf: deprecate
|
2023-12-13 19:36:13 +08:00 |
misc
|
juce: 7.0.7 -> 7.0.9
|
2023-12-14 05:49:33 +11: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 |
tools
|
ruff: 0.1.7 -> 0.1.8
|
2023-12-16 10:53:38 +01:00 |
web
|
ihp-new: 1.1.0 -> 1.2.0
|
2023-12-15 20:30:59 +00:00 |