Julien Puydt pushed to branch master at Debian OCaml Maintainers / ssreflect
Commits: b49c6550 by Julien Puydt at 2025-11-10T13:10:43+01:00 Strenghten depends on coq/rocq - - - - - 9966bd4f by Julien Puydt at 2025-11-11T19:44:33+01:00 Prepare for upload to experimental - - - - - 2 changed files: - debian/changelog - debian/control Changes: ===================================== debian/changelog ===================================== @@ -1,3 +1,9 @@ +ssreflect (2.5.0-2) experimental; urgency=medium + + * Strenghten depends on coq/rocq. + + -- Julien Puydt <[email protected]> Tue, 11 Nov 2025 19:44:23 +0100 + ssreflect (2.5.0-1) experimental; urgency=medium * New upstream release. ===================================== debian/control ===================================== @@ -6,7 +6,7 @@ Uploaders: Stéphane Glondu <[email protected]>, Ralf Treinen <[email protected]> Build-Depends: debhelper-compat (= 13), dh-coq, - coq, libcoq-hierarchy-builder, libcoq-stdlib, + coq (>= 9), libcoq-hierarchy-builder, libcoq-stdlib, lua5.4 Rules-Requires-Root: no Standards-Version: 4.7.2 View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/-/compare/a7861de52e00df20a96249be90cf3353a3f6c153...9966bd4f6f14ae1db073d0fd9d9f869994f4881e -- View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/-/compare/a7861de52e00df20a96249be90cf3353a3f6c153...9966bd4f6f14ae1db073d0fd9d9f869994f4881e You're receiving this email because of your account on salsa.debian.org.
