lint: fix crash on switch statement with non-integer expression
Seen during experiments with strict <ctype.h> functions that return a
struct instead of an int if the argument has neither type 'unsigned
char' nor 'int'.
Update devel/why3 to version 1.8.2, add ocaml-zip build dependency.
Version 1.8.2, September 16, 2025
---------------------------
Compilation
* compatibility with OCaml 5.4 (MR !1228)
Provers
* fix soundness bug with floats in Alt-Ergo 2.6.x (issue #905)
Sessions
* fix issue with file identifiers in sessions (MR !1231)
Extraction
* restore compatibility of OCaml extraction with js_of_ocaml
Version 1.8.1, June 4, 2025
---------------------------
[9 lines not shown]
sqlc: update to 1.30.0
Also mark this as working on Linux.
- build(deps): bump the production-dependencies group across 1 directory
with 2 updates
- build(deps): bump packaging from 24.2 to 25.0 in /docs in the
production-dependencies group
- Use MySQL 9 in docker-compose.yml
- SQLite: Coerce jsonb columns to json before returning to Go code
- SQLite: Fix parsing of INSERT DEFAULT VALUES syntax
- build(deps): bump golang from 1.24.4 to 1.24.5
- build(deps): bump urllib3 from 2.4.0 to 2.5.0 in /docs
- build(deps): bump modernc.org/sqlite from 1.38.0 to 1.38.2 in the
production-dependencies group
- docs: fix parameter syntax inconsistency for MySQL and SQLite
- Fix panic for DELETE with JOIN on subquery
- feat(docs): Add link to Gleam/parrot
- build(deps): bump certifi from 2025.7.14 to 2025.8.3 in /docs in the
[31 lines not shown]
anubis: update to 1.24.0
Anubis is back and better than ever! Lots of minor fixes with some big
ones interspersed.
- Fix panic when validating challenges after privacy-mode browsers strip
headers and the follow-up request matches an ALLOW threshold.
- Expose WEIGHT rule matches as Prometheus metrics.
- Allow more OCI registry clients based on feedback.
- Expose services directory in the embedded (data) filesystem.
- Add Ukrainian locale (#1044).
- Allow Renovate as an OCI registry client.
- Properly handle 4in6 addresses so that IP matching works with those
addresses.
- Add support to simple Valkey/Redis cluster mode
- Open Graph passthrough now reuses the configured target Host/SNI/TLS
settings, so metadata fetches succeed when the upstream certificate
differs from the public domain. (1283)
- Stabilize the CVE-2025-24369 regression test by always submitting an
[4 lines not shown]
py-apsw: updated to 3.51.2.0
3.51.2.0
apsw.ext.DataClassRowFactory now defaults slots to True for dataclasses.dataclass() which saves a small amount of memory.
sqlite3: updated to 3.51.2
3.51.2 (2026-01-09):
Fix an obscure deadlock in the new broken-posix-lock detection logic in item 17 above.
Fix multiple problems in the EXISTS-to-JOIN optimization that was added as part of optimization item 6b above.
Other minor bug fixes.
