Julien Puydt pushed to branch master at Debian OCaml Maintainers / ssreflect
Commits: c8e4a1ca by Julien Puydt at 2022-03-23T15:32:09+01:00 Change b-dep from obsolete lua5.1 to lua5.4 - - - - - 57f0b69a by Julien Puydt at 2022-03-23T16:45:08+01:00 Prepare for upload - - - - - 2 changed files: - debian/changelog - debian/control Changes: ===================================== debian/changelog ===================================== @@ -1,3 +1,9 @@ +ssreflect (1.14.0-8) unstable; urgency=medium + + * Change b-dep from obsolete lua5.1 to lua5.4. + + -- Julien Puydt <[email protected]> Wed, 23 Mar 2022 16:44:59 +0100 + ssreflect (1.14.0-7) unstable; urgency=medium * Better fix for Breaks+Replaces (Closes: #1005852). ===================================== debian/control ===================================== @@ -7,7 +7,7 @@ Uploaders: Stéphane Glondu <[email protected]>, Build-Depends: debhelper-compat (= 13), coq (>= 8.11), - lua5.1 + lua5.4 Rules-Requires-Root: no Standards-Version: 4.6.0 Section: math View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/-/compare/32b809073e17c8891deb33960b5c6775339e2d1b...57f0b69adbeea8d14483279cbeb226f954860d6a -- View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/-/compare/32b809073e17c8891deb33960b5c6775339e2d1b...57f0b69adbeea8d14483279cbeb226f954860d6a You're receiving this email because of your account on salsa.debian.org.
