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.
multimedia/vlc: Update to 3.0.23
CHangelog:
Changes between 3.0.22 and 3.0.23:
----------------------------------
Codecs:
* Fix WebVTT line positioning
* Expose additional audio codec information (notably for Flac 24bit)
Demuxers:
* fix some JPEG files wih JFIF headers
Windows:
* config_GetUserDir() no longer tries to create the folder on Windows (#29488)
* Fix images display with D3D11
* Improve dark palette in Qt interface
* Fix compilation of OpenGL modules
[115 lines not shown]
py-virtualenv: updated to 20.36.1
Bugfixes - 20.36.1
Fix TOCTOU vulnerabilities in app_data and lock directory creation that could be exploited via symlink attacks
py-xgboost: updated to 3.1.3
3.1.3
Scikit-learn 1.8 compatibility fix
Add ARM CUDA wheels for PyPI.
[R] Fix off-by-one bug: nrounds=0 resulted in 2 iterations
[R] Fix mingw warnings, winbuilder check warnings, memory safety issues.
Avoid overflow in rounding estimation.
Workaround compiler issue on Windows, affects the use of max_delta_step with CUDA.
py-numpy: updated to 2.4.1
2.4.1
MAINT: Prepare 2.4.x for further development
DOC: ``numpy.select``\ : fix ``default`` parameter docstring...
REV: Revert part
TYP: ``numpy.select``\ : allow passing array-like ``default``...
MNT: use if constexpr for compile-time branch selection
BUG: Fix leak in flat assignment iterator
BUG: fix heap overflow in fixed-width string multiply
BUG: Ensure summed weights returned by np.average always are...
TYP: Fix return type of histogram2d
MAINT: avoid passing ints to random functions that take double...
BLD: Avoiding conflict with pygit2 for static build
MAINT: Fix msvccompiler missing error on FreeBSD
BLD: update vendored Meson to 1.9.2
ENH: use more fine-grained critical sections in array coercion...
BUG: Undo result type change of quantile/percentile but keep...
protobuf py-protobuf: updated to [6.]33.3
Protocol Buffers v33.3
Compiler
Create editions test_utils to fix existing brittle tests in command_line_interface_unittest and code_generator_unittest. (cb0a8c5)
Add edition unstable for development work. (44e090c)
Add conformance test for edition unstable (d167dd0)
C++
Add edition unstable for development work. (44e090c)
Add conformance test for edition unstable
Python
Add conformance test for edition unstable (d167dd0)
Automated rollback of commit 38ca2d3. (184b5e8)
[5 lines not shown]
