Julien Puydt pushed to branch master at Debian OCaml Maintainers / coq
Commits: bd747846 by Julien Puydt at 2025-11-10T10:59:13+01:00 Add missing Breaks+Replaces - - - - - 802056f7 by Julien Puydt at 2025-11-11T18:09:23+01:00 Prepare for upload to experimental - - - - - 2 changed files: - debian/changelog - debian/control Changes: ===================================== debian/changelog ===================================== @@ -1,3 +1,9 @@ +coq (9.1.0+dfsg-3) experimental; urgency=medium + + * Add missing Break+Replaces. + + -- Julien Puydt <[email protected]> Tue, 11 Nov 2025 18:09:11 +0100 + coq (9.1.0+dfsg-2) experimental; urgency=medium * Update depends from why to why3 (Closes: #1117585). ===================================== debian/control ===================================== @@ -80,6 +80,8 @@ Architecture: any Depends: ${misc:Depends} Recommends: coq Provides: ${coq:Provides} +Breaks: libcoq-stdlib (<< 9) +Replaces: libcoq-stdlib (<< 9) Description: proof assistant for higher-order logic (theories) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/compare/b6e64d6c34ce949e97ffa0e6eaba2888f11986e3...802056f7b31675ce8b74a3734a3454b8c209d1a7 -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/compare/b6e64d6c34ce949e97ffa0e6eaba2888f11986e3...802056f7b31675ce8b74a3734a3454b8c209d1a7 You're receiving this email because of your account on salsa.debian.org.
