bleachbit (6.0.6-1) unstable; urgency=medium . * New upstream version 6.0.6 * d/patches: refresh * d/rules: decide which cleaners to skip from the os attribute * d/install: install the SVG icon in the hicolor theme * d/control: add hicolor-icon-theme to Depends * d/control, d/rules: run upstream's test suite at build time * d/tests: run upstream's test suite against the installed package * d/rules: hide the generated bleachbit-root.desktop from AppStream cairosvg (2.9.1-2) unstable; urgency=medium . * Team Upload * Mark more build-deps as , test it with Salsa CI crazy-complete (0.3.10-1) unstable; urgency=medium . * New upstream version 0.3.10 * debian/all: adapt to new upstream packaging using pyproject.toml doctrine (3.7.6+dfsg-1) unstable; urgency=medium . [ Suliman Abdulrazzaq ] * Inherit unnamed indexes from mapped superclasses . [ Matt Van Horn ] * Stop CursorPaginator writing a query-cache entry per cursor . [ Guillaume Sainthillier ] * Unbind unused parameters in CursorPaginator without output walkers * Fix CursorPaginator cursors ordered by a field of a joined entity (#12671) . [ Michael Babker ] * Add a leading bound to the cursor pagination predicate . [ Si-gi ] * Fix Paginator count with INSTANCE OF parameter (#12529) . [ Anthony CAPELLI ] * Do not initialize a lazy object when reading one of its typed properties . [ Som Samantray ] * Respect configured identifier folding erlang (1:29.1.2+dfsg-1) unstable; urgency=medium . * New upstream release. - Fix CVE-2026-94200: Improper Validation of Consistency within Input vulnerability in Erlang OTP ssl (tls_handshake_1_3, ssl_handshake and tls_client_ticket_store modules) allows a malicious TLS 1.3 server to cause a denial of service of the ssl application on the client node. - Fix CVE-2026-96596: Loop with Unreachable Exit Condition ('Infinite Loop') vulnerability in Erlang OTP stdlib (erl_tar module) allows an attacker who supplies a tar archive to cause a denial of service via a crafted GNU sparse member. - Fix CVE-2026-105236: Improper Certificate Validation vulnerability in the ssl application in Erlang/OTP allows a client that holds a certificate trusted by one SNI virtual host to authenticate to a second SNI virtual host on the same listener by resuming its TLS 1.2 session there. Closes: #1151684. libdbusmenu-qt (0.9.3+16.04.20160218-6) unstable; urgency=medium . * Restore the version for the cmake build dependency, as it matches the upstream build system. * Replace FSF postal address with a reference to https://www.gnu.org/licenses/. * Update standards version to 4.7.4, no changes needed. * Set upstream metadata fields: Repository. * Convert watch file to v5, and switch to https. * Bump the debhelper compatibility to 14: - bump the debhelper-compat build dependency to 14 - drop the ${misc:Pre-Depends}, ${shlibs:Depends}, and ${misc:Depends} substvars * Drop the documentation package altogether, as this library is basically dead, and used only in few Qt 5 sources: (Closes: #1152261) - drop the doxygen build dependency - always pass -DWITH_DOC=OFF to cmake - drop the libdbusmenu-qt5-doc binary package libtest2-harness-perl (1.000182-1) unstable; urgency=medium . * Team upload. * Import upstream version 1.000182. node-dompurify (3.4.17+dfsg-1) unstable; urgency=medium . * Team upload * New upstream version (Closes: #1152298: CVE-2026-116802 CVE-2026-116803 CVE-2026-116804) pandas (2.3.3+dfsg-6) unstable; urgency=medium . * Tests: pytables is no longer available on 32 bit. (Closes LP: 2169351) * Temporarily skip build-time tests to unblock Python 3.15 builds (workaround for #1152320). php-embed (4.6.0-1) unstable; urgency=medium . [ Vítor de Oliveira ] * Add Kick adapter, skip HLS og:video iframes and fix Twitch video and clip embeds (#585) * Verify TLS certificates and hostnames by default (fixes #575) (#587) * Add mastodon:iframe setting to embed Mastodon posts as an iframe (#586) * Add Bilibili, Youku and NetEase Music adapters (#588) php-phpstan-phpdoc-parser (2.4.1-1) unstable; urgency=medium . [ Ondřej Mirtes ] * Printer: keep the format of the tag value when the tag name changes php-phpstan-phpdoc-parser (2.4.0-1) unstable; urgency=medium . [ Ondřej Mirtes ] * Invalid Doctrine tag with backslash: return InvalidTagValueNode * Printer: support lists with gaps in keys * Printer: new empty line in docblock without trailing space * PhpDocParser: read a quoted key of a Doctrine annotation argument * Add NameNode, FullyQualifiedNameNode and RelativeNameNode php-phpstan-phpdoc-parser (2.3.9-1) unstable; urgency=medium . [ Ondřej Mirtes ] * Remove Renovate * Printer: remove the separator after a removed first list item . [ David Prévot ] * Simplify phpunit call php-phpstan-phpdoc-parser (2.3.8-1) unstable; urgency=medium . [ Ondřej Mirtes ] * Do not walk to the end of a PHPDoc for every generic * Printer: keep Doctrine annotation name and missing parentheses * Printer: put back asterisks in multi-line texts and descriptions * Printer: indent a new tag like the other tags * Lexer: read underscore in a tag name pyswarms (1.3.0-10) unstable; urgency=medium . * Team upload. * Add patch to fix setup.py to not install 'tests' directory as a Python module, fixing FTBFS with recent dh-python (Closes: #1151538). * Update Standards-Version to 4.7.4 (no changes required). python-flask-seeder (1.2.0-9) unstable; urgency=medium . * Team upload. * d/watch: use Pypi template * mark python3-coverage & python3-flask as . [ Nico Della Torre ] * Exclude tests from installed packages (Closes: #1151484). python-irc (20.5.0+dfsg1-1) unstable; urgency=medium . * The “Muhammad al-Ghamdi” release. . [ Ben Finney ] * New upstream version. Highlights since previous release: * Support for Python 3.8 and later. * New `irc.client.Reactor` class replaces `IRC` class name. * Separate DCC functionality to `DCCConnection` class. * `NickMask` now returns `None` (instead of error) when missing attributes. * `schedule` module now uses timestamp-aware times by default. * Allow text encodings different from UTF-8. * New (optional) asynchronous implementation. * Support for SASL authentication. Closes: bug#783396. Thanks to Daniel Baumann for the report. Closes: bug#1085923. Thanks to Graham Inggs for the report. Closes: bug#1138707. Thanks to Chris Malton for the report. Closes: bug#1150253. Thanks to Alexandre Detiste for the report. * Migrate to ‘main’ branch as default for packaging repository. * debian/control: * Declare conformance to “Standards-Version: 4.7.4”. * Declare Debhelper compatibility level 14. * Update the project homepage. * Enable smoke test of installed Python library in AutoPkgTest. * Remove superfluous declaration of “Rules-Requires-Root: no”. * Remove superfluous declaration of “Priority: optional”. * Mark a build dependency as needed only for built package check. * Switch to ‘pyproject’ build system. * debian/upstream/metadata: * Remove obsolete field from DEP-12 metadata. * Record the upstream documentation URL. * debian/README.source: * Document our preferred VCS collaboration strategy. * Document policy on use of Generative AI. * debian/watch: * Declare that upstream releases have no OpenPGP signature. * debian/source/lintian-overrides: * Override false positive Lintian check for VCS-* field names. * Override false positive Lintian check for IETF copyright conditions. * Override false positive check for upstream release OpenPGP signature. * debian/rules: * Explicitly disable legacy “single-binary” DebHelper behaviour. * debian/patches/*: * Remove patches incorporated or obsolete upstream. * debian/patches/specify-package-data.patch: * Specify package data files to install. * debian/patches/remove-tracking-from-documentation.patch: * Remove tracking images from documentation. * debian/patches/remove-tidelift-tracking-banner.patch: * Remove tracking banner from documentation. * debian/patches/correct-python3-shebang-in-example-scripts.patch: * Correct shebang for Python 3 example scripts. * debian/python3-irc.lintian-overrides: * Override a false positive for documentation that is actually a data file. . [ Alexandre Detiste ] * debian/patches/remove-broken-test-context-manager.patch: * Remove a context manager that is breaking upstream test cases. python-svgelements (1.9.6-3) unstable; urgency=medium . * Team upload. * Add patch to fix setup.cfg to not install the tests directory as a Python module in the package, fixing FTBFS with recent dh-python (Closes: #1151543). * Update Standards-Version to 4.7.4 (no changes required). python-tz (2026.6-1) unstable; urgency=medium . * New upstream release pyvicare (2.64.0-1) unstable; urgency=medium . * New upstream release. * Upstream switched build system from poetry-core to hatchling. * Switch to autopkgtest-pkg-pybuild. * Locate the imported package in property tests so they also work against the installed package during autopkgtest. r-cran-unitizer (1.4.24-1) unstable; urgency=medium . * Team upload. * Packaging update (routine-update) * Use uscan v5 $template template. (routine-update) * New upstream version * Standards-Version: 4.7.4 (routine-update) * Reflow Uploaders field (cme) * Remove Priority field (cme) * Restrict to R packages team core architectures (routine-update) * Drop 'Rules-Requires-Root: no' from d/control (routine-update) r-cran-unitizer (1.4.23-1) unstable; urgency=medium . * Team upload. * New upstream version * Standards-Version: 4.7.3 (routine-update) * Restrict to 64-bits architectures (routine-update) * Restrict to little-endian architectures (routine-update) * dh-update-R to update Build-Depends (routine-update) r-cran-unitizer (1.4.22-1) unstable; urgency=medium . * Team upload. * New upstream version * Standards-Version: 4.7.2 (routine-update) r-cran-unitizer (1.4.21-1) unstable; urgency=medium . * Team upload. * New upstream version * Standards-Version: 4.7.0 (routine-update) r-cran-unitizer (1.4.20-1) unstable; urgency=medium . * New upstream version * Remove trailing whitespace in debian/changelog (routine-update) r-cran-unitizer (1.4.19-2) unstable; urgency=medium . * Rebuild with r-graphics-engine set by r-base Closes: #1039670 r-cran-unitizer (1.4.19-1) unstable; urgency=medium . * Disable reprotest * New upstream version * Standards-Version: 4.6.2 (routine-update) * Lintian-overrides (see lintian bug #1017966) r-cran-unitizer (1.4.18-1) unstable; urgency=medium . * New upstream version r-cran-unitizer (1.4.17-1) unstable; urgency=medium . * Team Upload. * New upstream version 1.4.17 r-cran-unitizer (1.4.15-1) unstable; urgency=medium . * Team Upload. [ Andreas Tille ] * New upstream version . [ Nilesh Patra ] * d/t/run-unit-test: Modify autopkgtests to diff properly * Remove d/patches: Not needed anymore * Bump Standards-Version to 4.6.0 (no changes needed) * d/rules: Remove image tags that inject a huge data in the html r-cran-unitizer (1.4.12-1) unstable; urgency=medium . * Fix autopkgtest * New upstream version * Exclude some tests that somehow need online access r-cran-unitizer (1.4.11-1) unstable; urgency=medium . * New upstream version * Standards-Version: 4.5.1 (routine-update) * debhelper-compat 13 (routine-update) * Fix more permissions r-cran-unitizer (1.4.10-1) unstable; urgency=medium . * New upstream version * Rules-Requires-Root: no (routine-update) * Set upstream metadata fields: Archive, Bug-Database, Bug-Submit, Repository, Repository-Browse. r-cran-unitizer (1.4.9-1) unstable; urgency=medium . * Team upload. * New upstream version r-cran-unitizer (1.4.8-2) unstable; urgency=medium . * Team upload. * Standards-Version: 4.5.0 r-cran-unitizer (1.4.8-1) unstable; urgency=medium . * Initial release (closes: #948747) r-cran-waldo (0.6.2-1) unstable; urgency=medium . * Team upload. * New upstream version * Standards-Version: 4.7.3 (routine-update) * Restrict to 64-bits architectures (routine-update) * Restrict to little-endian architectures (routine-update) * dh-update-R to update Build-Depends (routine-update) r-cran-waldo (0.6.1-2) unstable; urgency=medium . * Team upload. * d/test/control: addes r-cran-s7 to the dependencies. r-cran-waldo (0.6.1-1) unstable; urgency=medium . * Team upload. * New upstream version * dh-update-R to update Build-Depends (routine-update) r-cran-waldo (0.5.3-1) unstable; urgency=medium . * Team upload. * New upstream version * Standards-Version: 4.7.0 (routine-update) r-cran-waldo (0.5.2-1) unstable; urgency=medium . * New upstream version r-cran-waldo (0.5.1-1) unstable; urgency=medium . * New upstream version * Standards-Version: 4.6.2 (routine-update) * Reorder sequence of d/control fields by cme (routine-update) r-cran-waldo (0.4.0-1) unstable; urgency=medium . * Team Upload. * New upstream version 0.4.0 r-cran-waldo (0.3.1-1) unstable; urgency=medium . * Team Upload. [ Andreas Tille ] * New upstream version * Standards-Version: 4.6.0 (routine-update) * dh-update-R to update Build-Depends (3) (routine-update) . [ Nilesh Patra ] * d/t/control: Add Test-Depends on r-cran-xml2 r-cran-waldo (0.2.5-1) unstable; urgency=medium . * New upstream version * Standards-Version: 4.5.1 (routine-update) r-cran-waldo (0.2.3-2) unstable; urgency=medium . * Team Upload. * Harden dependency on r-cran-testthat (Fixes debci) r-cran-waldo (0.2.3-1) unstable; urgency=medium . * Team upload. * New upstream version r-cran-waldo (0.2.2-1) unstable; urgency=medium . * New upstream version r-cran-waldo (0.2.1-1) unstable; urgency=medium . * New upstream version r-cran-waldo (0.2.0-2) unstable; urgency=medium . * debhelper-compat 13 (routine-update) * Trim trailing whitespace. * Set upstream metadata fields: Archive, Bug-Database, Bug-Submit, Repository, Repository-Browse. r-cran-waldo (0.2.0-1) unstable; urgency=medium . * Initial release (closes: #969900) rust-cddl (0.10.7-1) unstable; urgency=medium . * Team upload. * Package cddl 0.10.7 from crates.io using debcargo 2.8.4 * Use upstream support for codespan-reporting 0.13. * Use Debian's itertools 0.14 and fancy-regex 0.11. * Refresh the patch removing WebAssembly-only dependencies. * Enable autopkgtests for default and all features; mark reduced feature combinations with upstream build/test failures as flaky. rust-codespan-reporting (0.13.1-1) unstable; urgency=medium . * Team upload. * Package codespan-reporting 0.13.1 from crates.io using debcargo 2.8.4 rust-cxxbridge-cmd (1.0.205-1) unstable; urgency=medium . * Team upload. * Package cxxbridge-cmd 1.0.205 from crates.io using debcargo 2.8.4 * Drop revert-codespan-reporting-0.13.patch, Debian now has codespan-reporting 0.13. rust-rustls-webpki (0.103.16+ds-1) unstable; urgency=high . [ upstream ] * new release; RUSTSEC-2026-0382 / CVE-2026-111943; closes: bug#1151660, thanks to kpcyrd . [ Jonas Smedegaard ] * bump project versions in virtual packages and autopkgtests * set urgency=high due to security bugfix rust-wasmtime (36.0.20+dfsg-1) unstable; urgency=high . [ upstream ] * new release(s); RUSTSEC-2026-0020 / GHSA-852m-cvvp-9p4w / CVE-2026-27204, RUSTSEC-2026-0269 / GHSA-vqjp-4c8c-hfgg / CVE-2026-115392, RUSTSEC-2026-0313 / GHSA-c9gc-w9vx-w86p / CVE-2026-115388, RUSTSEC-2026-0314 / GHSA-j2g9-4prp-pf6h / CVE-2026-115387, RUSTSEC-2026-0316 / GHSA-jqpg-j7w6-42pr / CVE-2026-115389, RUSTSEC-2026-0321 / GHSA-j366-h8gg-77pm / CVE-2026-115380, RUSTSEC-2026-0322 / GHSA-gqmc-89g8-p25r / CVE-2026-115381, RUSTSEC-2026-0323 / GHSA-96f6-r43r-8c24 / CVE-2026-115386, RUSTSEC-2026-0363 / GHSA-q554-3cjc-rx7p, RUSTSEC-2026-0376 / GHSA-r8xh-cgf7-392j, RUSTSEC-2026-0379 / GHSA-mghf-wjfp-p5xm / CVE-2026-115893, RUSTSEC-2026-0380 / GHSA-897f-g5gm-fmxm / CVE-2026-115889, RUSTSEC-2026-0421 / GHSA-h4wp-g4x3-7398, RUSTSEC-2026-0424 / GHSA-6fr9-xmw9-5352; closes: bug#1151856, #1151861, thanks to Moritz Muehlenhoff . [ Jonas Smedegaard ] * update watch file: + capitalize file format field label; + limit to STABLE_VERSION * bump project versions in virtual packages and autopkgtests * unfuzz patches * set urgency=high due to security bugfixes * add patch 1002_newer_codespan-reporting; bump (build-)dependency for crate codespan-reporting sagenb-export (3.4-3) unstable; urgency=medium . * Team upload. * Add patch to stop setup.py trying to install the test directory as a Python module, fixing FTBFS with recent dh-python (Closes: #1151733). * Add patch to fix SyntaxWarning from regexes (Closes: #1087070). * Enable upstream test suite in build and in autopkgtest. * Update Standards-Version to 4.7.4 (no changes required). sqlalchemy-i18n (1.1.0-5) unstable; urgency=medium . * Team upload. * Let pybuild manage test files properly; noting that the test failures are suppressed in any case (Closes: #1151545). ssreflect (2.6.0-3) unstable; urgency=medium . * Source-only upload ssreflect (2.6.0-2) unstable; urgency=medium . * Upload to unstable. ssreflect (2.6.0-1) experimental; urgency=medium . * New upstream release. * Rewrite d/watch. * Bump standards-version to 4.7.4. ssreflect (2.5.0-2) experimental; urgency=medium . * Strenghten depends on coq/rocq. ssreflect (2.5.0-1) experimental; urgency=medium . * New upstream release. * Bump standards-version to 4.7.2. ssreflect (2.3.0-1) unstable; urgency=medium . * New upstream release. * Bump standards-version to 4.7.0. ssreflect (2.2.0-2) unstable; urgency=medium . * Do not hardcode /usr/lib/ocaml ssreflect (2.2.0-1) unstable; urgency=medium . * New upstream release. ssreflect (2.1.0-1) unstable; urgency=medium . [ Debian Janitor ] * Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse. . [ Julien Puydt ] * Fix d/rules clean target (Closes: #1047035). * New upstream release. ssreflect (1.17.0-1) unstable; urgency=medium . * Fix d/watch. * Bump standards-version to 4.6.2. * New upstream release. * Update lintian overrides. ssreflect (1.15.0-1) unstable; urgency=medium . * New upstream release. * Rewrite the autopkgtest. ssreflect (1.14.0-12) unstable; urgency=medium . * Use dh-coq. ssreflect (1.14.0-11) unstable; urgency=medium . * Bump standards-version to 4.6.1. ssreflect (1.14.0-10) unstable; urgency=medium . * Re-upload to fix ABI breakage. ssreflect (1.14.0-9) unstable; urgency=medium . * Changed all Architecture: to any. ssreflect (1.14.0-8) unstable; urgency=medium . * Change b-dep from obsolete lua5.1 to lua5.4. ssreflect (1.14.0-7) unstable; urgency=medium . * Better fix for Breaks+Replaces (Closes: #1005852). ssreflect (1.14.0-6) unstable; urgency=medium . * Fix Breaks+Replaces (Closes: #1005254). ssreflect (1.14.0-5) unstable; urgency=medium . * Fix libcoq-mathcomp's doc-base. ssreflect (1.14.0-3) unstable; urgency=medium . * Depend on the coq library under its new name. ssreflect (1.14.0-2) unstable; urgency=medium . * Make the package auto-adapt to coq's layout. ssreflect (1.14.0-1) unstable; urgency=medium . * New upstream release. ssreflect (1.13.0-2) unstable; urgency=medium . * Source-only upload to trigger rebuild. (Closes: #1003797) ssreflect (1.13.0-1) unstable; urgency=medium . * Remove E.Tassi from uploaders (Closes: #995558). * Add myself as uploader. * New upstream release. * Bump standards-version to 4.6.0. * Update d/copyright to upstream (dropped javascript files). * Bump d/watch to version 4. * Complete the libssreflect-coq lintian overrides. ssreflect (1.12.0-1) unstable; urgency=medium . * New upstream release. * Update test loadssreflect. * Standards-version 4.5.1 (no change) ssreflect (1.11.0-2) unstable; urgency=medium . * Recompile with OCaml 4.11.1 (Closes: #973721) ssreflect (1.11.0-1) unstable; urgency=medium . * New upstream release * Debhelper compatibility level 13: -drop override of dh_missing which is no longer needed * Set Rules-Requires-Root to no ssreflect (1.10.0+dfsg-2) unstable; urgency=medium . * Rebuild against coq 8.11.0 * Standards-version 4.5.0 (no change) ssreflect (1.10.0+dfsg-1) unstable; urgency=medium . * New upstream release * gbp.conf: update import filter * debian/rules: explicit targets to make: all, doc * debian/libssreflect-coq.docs: doc now built in mathcomp/_build_doc/htmldoc/ * Add lintian-overrides for doc files whose filenames contain wildcards * Standards-Version 4.4.1 (no change) * Add build-dependency on lua ssreflect (1.9.0+dfsg-2) unstable; urgency=medium . * Recompile with OCaml 4.08.1 ssreflect (1.9.0+dfsg-1) unstable; urgency=medium . * New upstream release. Repack upstream (remove docs/htmldoc/js/ and docs/javascripts/). * Build-depends: minimal coq version 8.7, according to opam file. * Standards-Version 4.4.0 (no change) * debian/libssreflect-coq.docs: ChangeLog => CHANGELOG.md ssreflect (1.7.0+dfsg-1) unstable; urgency=medium . * New upstream version. This fixes a FTBFS with coq 8.9.0 (closes: #919461) Repack upstream (remove docs/htmldoc/js/) * Update debian/watch to github * Update Vcs-* to salsa * Standards-Version 4.3.0 - https in format string of debian/copyright * d/rules: fix installation of htmldocs * Drop packages libssreflect-ocaml[-dev] as the plugin is now included in the coq package. * d/libssreflect-coq.docs: adjust pathnames of files * d/copyright: drop short paragraph at first occurrence of CeCILL-B * Build-depend on debhelper-compat (=12) - use dh_missing (instead of dh_install) with --fail-missing * No more compilation with ocaml: - dropped build-dependencies on ocaml stuff - dropped --with-ocaml flag to dh and usage of ocamlvars.mk * Updated short and long description. Thanks to Enrico Tassi. * Added an as-installed test, thanks again to Enrico Tassi. * Added myself as Uploader. ssreflect (1.6.1-3) unstable; urgency=medium . * Recompile with OCaml 4.05.0 ssreflect (1.6.1-2) unstable; urgency=medium . * Fix build-arch target ssreflect (1.6.1-1) unstable; urgency=medium . * New upstream release ssreflect (1.6-1) unstable; urgency=medium . * Adding myself as co-maintainer. * Update upstream version to 1.6 ssreflect (1.5-3) unstable; urgency=medium . * Recompile with OCaml 4.02.3 ssreflect (1.5-2) unstable; urgency=medium . * Recompile with coq 8.4pl4 ssreflect (1.5-1) unstable; urgency=medium . * New upstream release ssreflect (1.5~rc1-3) unstable; urgency=medium . * Recompile with coq 8.4pl3 * Bump Standards-Version to 3.9.5 (no changes) * Update debian/watch ssreflect (1.5~rc1-2) unstable; urgency=low . * Upload to unstable * Update Homepage ssreflect (1.5~rc1-1) experimental; urgency=low . * New upstream release * Update Vcs-* * Compile with OCaml >= 4 ssreflect (1.4-2) unstable; urgency=low . * Bump debhelper compat level to 8 * Bump Standards-Version to 3.9.4 * Upload to unstable ssreflect (1.4-1) experimental; urgency=low . * New upstream release ssreflect (1.3pl4-1) unstable; urgency=low * New upstream release * Put debian/copyright in format 1.0 * Bump Standards-Version to 3.9.3 ssreflect (1.3pl2-4) unstable; urgency=medium * Fix compilation with camlp5 6.05 and coq 8.3pl4 ssreflect (1.3pl2-3) unstable; urgency=low * Recompile with camlp5 6.04 (no changes) ssreflect (1.3pl2-2) unstable; urgency=low * Rebuild with Coq 8.3pl3 - cherry-pick patch from coq-contrib to fix FTBFS with Coq 8.3pl3 ssreflect (1.3pl2-1) unstable; urgency=low * New upstream release ssreflect (1.3pl1-5) unstable; urgency=low * Recompile with OCaml 3.12.1 (no changes) * Bump Standards-Version to 3.9.2 (no changes) ssreflect (1.3pl1-4) unstable; urgency=low * Build theories only when explicitly asked (fixes FTBFS on armel as a side-effect) ssreflect (1.3pl1-3) unstable; urgency=low * Upload to unstable ssreflect (1.3pl1-2) experimental; urgency=low * Upload to unstable ssreflect (1.3pl1-1) experimental; urgency=low * New upstream release ssreflect (1.3-1) experimental; urgency=low * New upstream release, compatible with Coq 8.3: - remove 0001-Build-as-a-plugin.patch - add 0001-Fix-tests-Make.patch - this version is under CeCILL-B only; update debian/copyright accordingly * Bump Standards-Version to 3.9.1 (no changes) * Update debian/watch ssreflect (1.2+dfsg-7) unstable; urgency=low * Rebuild against camlp5 6.02.1 * Bump versioned build-dependency to libcoq-ocaml-dev to ease camlp5 transition ssreflect (1.2+dfsg-6) unstable; urgency=low * Rebuild against OCaml 3.11.2 ssreflect (1.2+dfsg-5) unstable; urgency=low * Rebuild with Coq 8.2pl2 * debian/control: - replace Conflicts by Breaks - bump Standards-Version to 3.9.0 ssreflect (1.2+dfsg-4) unstable; urgency=low * Rebuild with OCaml 3.11.2 * Bump Standards-Version to 3.8.4 (no changes) * Update watch file ssreflect (1.2+dfsg-3) unstable; urgency=low * debian/control: - add libssreflect-ocaml-dev binary package - put *ocaml* packages in ocaml section - libssreflect-ocaml enhances coq * Switch to dh-ocaml 0.9 * Switch to format 3.0 (quilt) starlet (0.33-1) unstable; urgency=medium . * Team upload. * Import upstream version 0.33. Contains fixes for CVE-2026-116128 CVE-2026-116127 CVE-2026-115866 CVE-2026-115865. Closes: #1152634 * Convert debian/watch to version 5. vsts-cd-manager (1.0.2-8) unstable; urgency=medium . * Team upload. * Add patch to stop setup.py from adding tests to the list of python modules (Closes: #1151615). zarr (3.4.2-1) unstable; urgency=medium . [ Michael R. Crusoe ] * Packaging update (routine-update) * New upstream version * d/control: requires newer numcodes. REMOVED: openjdk-26 26.0.2.1+1-1