aac-tactics (9.0.0-4) unstable; urgency=medium . * Prepare for upload to unstable. aac-tactics (9.0.0-2) experimental; urgency=medium . * Strenghten depend on coq/rocq. aac-tactics (9.0.0-1) experimental; urgency=medium . * Sequence install targets (Closes: #1105230). * Adapt to the Coq->Rocq transition. * Update lintian overrides. * Bump standards-version to 4.7.2. * New upstream release. coq (9.2.0+dfsg-3) unstable; urgency=medium . * Fix compilation with recent dune. * Drop b-dep on Python. coq (9.2.0+dfsg-2) unstable; urgency=medium . * Fix the d/rules cleaning target (Closes: #1044637). coq (9.2.0+dfsg-1) experimental; urgency=medium . * Fix non-native platform compilation thanks to John Paul Adrian Glaubitz (Closes: #1128189). * Remove Benjamin Barenblat from Uploaders (Closes: #1128515). * New upstream release. * Rewrite d/watch. * Bump standards-version to 4.7.4. coq (9.1.0+dfsg-3) experimental; urgency=medium . * Add missing Break+Replaces. coq (9.1.0+dfsg-2) experimental; urgency=medium . * Update depends from why to why3 (Closes: #1117585). coq (9.1.0+dfsg-1) experimental; urgency=medium . * New upstream release. coq-bignums (9.0.0+rocq9.2-3) unstable; urgency=medium . * Add dep on native compilers (some archs were broken). coq-bignums (9.0.0+rocq9.2-2) unstable; urgency=medium . * Prepare for upload to unstable. coq-bignums (9.0.0+rocq9.2-1) experimental; urgency=medium . * New upstream release. * Rewrite d/watch. * Bump standards-version to 4.7.4. coq-bignums (9.0.0+rocq9.1-2) experimental; urgency=medium . * Strenghten depend on coq/rocq. coq-bignums (9.0.0+rocq9.1-1) experimental; urgency=medium . * Update d/watch to detect +rocq versions. * New upstream release. * Bump standards-version to 4.7.0. coq-dpdgraph (1.0+9.1-2) unstable; urgency=medium . * Upload to unstable. coq-dpdgraph (1.0+9.1-1) experimental; urgency=medium . * New upstream release. * Bump standards-version to 4.7.4. * Rewrite d/watch. coq-equations (1.3.2-9.2-2) unstable; urgency=medium . * Fix compilation with recent dune. coq-equations (1.3.2-9.2-1) experimental; urgency=medium . * Rewrite d/watch. * Bump standards-version to 4.7.4. * New upstream release. coq-ext-lib (0.13.1-2) unstable; urgency=medium . * Upload to unstable. coq-ext-lib (0.13.1-1) experimental; urgency=medium . * New upstream release. * Rewrite d/watch. * Bump standards-version to 4.7.4. coq-ext-lib (0.13.0-3) experimental; urgency=medium . * Strenghten depends on coq/rocq. coq-ext-lib (0.13.0-2) experimental; urgency=medium . * Bump standards-version to 4.7.2. coq-gappa (1.11.0-1) unstable; urgency=medium . * New upstream release. coq-gappa (1.10.0-4) unstable; urgency=medium . * Upstream requires a native OCaml compiler. coq-gappa (1.10.0-3) unstable; urgency=medium . * Make autopkgtest allow warnings. coq-gappa (1.10.0-2) unstable; urgency=medium . * Fix compilation with recent Coq/Rocq. coq-gappa (1.10.0-1) experimental; urgency=medium . * Rewrite d/watch. * Bump standards-version to 4.7.4. * New upstream release. coq-gappa (1.7.1-2) experimental; urgency=medium . * Strenghten depends on coq/rocq. coq-gappa (1.7.1-1) experimental; urgency=medium . * New upstream release. * Bump standards-version to 4.7.2. * Drop useless dbgsym package. coq-hammer (1.3.3+9.2-2) unstable; urgency=medium . * Upload to unstable. coq-hammer (1.3.3+9.2-1) experimental; urgency=medium . * New upstream release. * Rewrite d/watch. * Bump standards-version to 4.7.4. coq-hammer (1.3.2+9.0-2) experimental; urgency=medium . * Strenghten depends on coq/rocq. coq-hammer (1.3.2+9.0-1) experimental; urgency=medium . * Bump standards-version to 4.7.2. * Update lintian overrides. * New upstream release. coq-hott (9.1-2) unstable; urgency=medium . * Upload to unstable. coq-hott (9.1-1) experimental; urgency=medium . * New upstream release. * Rewrite d/watch. * Bump standards-version to 4.7.4. coq-hott (9.0-3) experimental; urgency=medium . * Strenghten depends on coq/rocq. coq-hott (9.0-2) experimental; urgency=medium . * Bump standards-version to 4.7.2. coq-iris (4.5.0-2) unstable; urgency=medium . * Upload to unstable. coq-iris (4.5.0-1) experimental; urgency=medium . [ Gianfranco Costamagna ] * Increase timeout on riscv64 again . [ Julien Puydt ] * Rewrite d/watch. * Bump standards-version to 4.7.4. * New upstream release. coq-iris (4.4.0-2) experimental; urgency=medium . * Strenghten depends on coq/rocq. coq-iris (4.4.0-1) experimental; urgency=medium . * New upstream release. * Bump standards-version to 4.7.2. coq-libhyps (5.0.0-2) unstable; urgency=medium . * Upload to unstable. coq-libhyps (5.0.0-1) experimental; urgency=medium . * Rewrite d/watch. * New upstream release. * Bump standards-version to 4.7.4. coq-libhyps (2.0.8-6) experimental; urgency=medium . * Strenghten depends on coq/rocq. coq-libhyps (2.0.8-5) experimental; urgency=medium . * Bump standards-version to 4.7.2. coq-math-classes (9.2.0-1) unstable; urgency=medium . * New upstream release. coq-math-classes (9.0.0-3) experimental; urgency=medium . * Rewrite d/watch. * Bump standards-version to 4.7.4. * Add patch for Coq/Rocq 9.2. coq-math-classes (9.0.0-2) experimental; urgency=medium . * Strengthen depends on coq/rocq. coq-math-classes (9.0.0-1) experimental; urgency=medium . * Bump standards-version to 4.7.2. * New upstream release. coq-menhirlib (20260209+ds-2) unstable; urgency=medium . * Upload to unstable. coq-menhirlib (20260209+ds-1) experimental; urgency=medium . * New upstream release. * Rewrite d/watch. * Bump standards-version to 4.7.4 coq-menhirlib (20250912+ds-2) experimental; urgency=medium . * Strenghten depends on coq/rocq. coq-menhirlib (20250912+ds-1) experimental; urgency=medium . * Bump standards-version to 4.7.2. * Package new upstream. coq-mtac2 (1.4-rocq9.1-2) unstable; urgency=medium . * Upload to unstable. coq-mtac2 (1.4-rocq9.1-1) experimental; urgency=medium . * Rewrite d/watch. * Bump standards-version to 4.7.4. * New upstream release. * Add patch for Coq/Rocq 9.2. coq-mtac2 (1.4+9.0-2) experimental; urgency=medium . * Strenghten depends on coq/rocq. coq-mtac2 (1.4+9.0-1) experimental; urgency=medium . * Bump standards-version to 4.7.2. * New upstream release. coq-record-update (0.3.7-3) unstable; urgency=medium . * Upload to unstable. coq-record-update (0.3.7-1) UNRELEASED; urgency=medium . * New upstream release. coq-record-update (0.3.6-2) experimental; urgency=medium . * Strenghten depends on coq/rocq. coq-record-update (0.3.6-1) experimental; urgency=medium . * Bump standards-version to 4.7.2. * New upstream release. coq-reduction-effects (0.1.6-4) unstable; urgency=medium . * Upload to unstable. coq-reduction-effects (0.1.6-3) experimental; urgency=medium . * Rewrite d/watch * Bump standards-version to 4.7.4 * Add patch for Coq/Rocq 9.2. coq-reduction-effects (0.1.6-2) experimental; urgency=medium . * Strenghten depends on coq/rocq. coq-reduction-effects (0.1.6-1) experimental; urgency=medium . * Bump standards-version to 4.7.2. * New upstream release. * Adapt lintian overrides. * Drop useless dbgsym package. coq-simple-io (1.11.0-5) unstable; urgency=medium . * Fix compilation with recent dune. coq-simple-io (1.11.0-4) experimental; urgency=medium . * Bump standards-version to 4.7.4. * Rewrite d/watch. * Add patch to compile with Coq/Rocq 9.2. coq-simple-io (1.11.0-3) experimental; urgency=medium . * Strenghten depends on coq/rocq. coq-simple-io (1.11.0-2) experimental; urgency=medium . * Bump standards-version to 4.7.2. * Drop useless dbgsym package. * Update lintian overrides. coq-simple-io (1.11.0-1) unstable; urgency=medium . * New upstream release. coq-simple-io (1.10.0-1) unstable; urgency=medium . * New upstream release. coq-simple-io (1.9.0-2) unstable; urgency=medium . * Team upload * Do not hardcode /usr/lib/ocaml coq-simple-io (1.9.0-1) unstable; urgency=medium . * Package new upstream. coq-simple-io (1.8.0-4) unstable; urgency=medium . [ Debian Janitor ] * Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse. . [ Julien Puydt ] * Fix d/rules clean target (Closes: #1044397). coq-simple-io (1.8.0-3) unstable; urgency=medium . * Bump standards-version to 4.6.2. * Add lintian overrides for false positives. coq-simple-io (1.8.0-2) unstable; urgency=medium . * Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev. coq-simple-io (1.8.0-1) unstable; urgency=medium . * New upstream release. coq-simple-io (1.7.0-3) unstable; urgency=medium . * Fix for Coq 8.16. coq-simple-io (1.7.0-2) unstable; urgency=medium . * Rebuild against newer coq-ext-lib. coq-simple-io (1.7.0-1) unstable; urgency=medium . * Initial release. (Closes: #1014572) coq-stdpp (1.13.0-2) unstable; urgency=medium . * Fix building source after a successful build (Closes: #1045073). coq-stdpp (1.13.0-1) experimental; urgency=medium . * Rewrite d/watch. * New upstream release. * Bump standards-version to 4.7.4. coq-stdpp (1.12.0-1) experimental; urgency=medium . * New upstream release. * Bump standards-version to 4.7.2. coq-unicoq (1.6-9.1-2) unstable; urgency=medium . * Upload to unstable. coq-unicoq (1.6-9.1-1) experimental; urgency=medium . * New upstream release. * Rewrite d/watch. * Bump standards-version to 4.7.4. coq-unicoq (1.6-8.20-3) experimental; urgency=medium . * Strenghten depends on coq/rocq. coq-unicoq (1.6-8.20-2) experimental; urgency=medium . * Bump standards-version to 4.7.2. * Update lintian overrides. * Drop useless dbgsym package. coq-unimath (20260603-2) unstable; urgency=medium . * Upload to unstable. coq-unimath (20260603-1) experimental; urgency=medium . * New upstream release. * Rewrite d/watch. * Bump standards-version to 4.7.4. coq-unimath (20250923-2) experimental; urgency=medium . * Strenghten depends on coq/rocq. coq-unimath (20250923-1) experimental; urgency=medium . * Bump standards-version to 4.7.2. * New upstream release. coqprime (8.20.1-5) unstable; urgency=medium . * Upload to unstable. coqprime (8.20.1-4) experimental; urgency=medium . * Rewrite d/watch. * Bump standards-version to 4.7.4. * Add patch to compile with Coq/Rocq 9.2. coqprime (8.20.1-3) experimental; urgency=medium . * Strenghten depends on coq/rocq. coqprime (8.20.1-2) experimental; urgency=medium . * Bump standards-version to 4.7.2. * Drop useless dbgsym package. flocq (4.2.2-2) unstable; urgency=medium . * Upload to unstable. flocq (4.2.2-1) experimental; urgency=medium . * New upstream release. * Rewrite d/watch. * Bump standards-version to 4.7.4. flocq (4.2.1-3) experimental; urgency=medium . * Strenghten depends on coq/rocq. flocq (4.2.1-2) experimental; urgency=medium . * Bump standards-version to 4.7.2. ott (0.34+ds-5) unstable; urgency=medium . * Upload to unstable. ott (0.34+ds-4) experimental; urgency=medium . * Rewrite d/watch. * Bump standards-version to 4.7.4. ott (0.34+ds-3) experimental; urgency=medium . * Strenghten depends on coq/rocq. ott (0.34+ds-2) experimental; urgency=medium . * Bump standards-version to 4.7.2. * Work on lintian reports. rocq-micromega-plugin (1.1.1-1) unstable; urgency=medium . * New upstream release. * Fix compilation with recent dune. rocq-micromega-plugin (1.1.0-1) experimental; urgency=medium . * Initial release. (Closes: #1142096) rocq-stdlib (9.2.0-1) unstable; urgency=medium . * New upstream release. rocq-stdlib (9.1.0-3) unstable; urgency=medium . * Fix compilation with recent dune. rocq-stdlib (9.1.0-2) unstable; urgency=medium . * Add missing dep on libcoq-stdlib (Closes: #1141880). * Fix depends (Closes: #1128188). rocq-stdlib (9.1.0-1) experimental; urgency=medium . * New upstream release. * Bump standards-version to 4.7.4. rocq-stdlib (9.0.0-3) experimental; urgency=medium . * Depend on correct coq/rocq. rocq-stdlib (9.0.0-2) experimental; urgency=medium . * Rewrite d/watch in version 5. rocq-stdlib (9.0.0-1) experimental; urgency=medium . * Initial release. (Closes: #1111824)