Julien Puydt pushed to branch master at Debian OCaml Maintainers / frama-c
Commits: 2fef6627 by Julien Puydt at 2022-06-27T20:50:31+02:00 Also tighten the why3 dep for autopkgtest - - - - - 7a7c8562 by Julien Puydt at 2022-06-27T20:50:48+02:00 Prepare for upload - - - - - 2 changed files: - debian/changelog - debian/tests/control Changes: ===================================== debian/changelog ===================================== @@ -1,3 +1,9 @@ +frama-c (20220511-manganese-1.3) unstable; urgency=medium + + * Tighten the dep on newer why3 also for autopkgtest. + + -- Julien Puydt <[email protected]> Mon, 27 Jun 2022 20:50:40 +0200 + frama-c (20220511-manganese-1.2) unstable; urgency=medium * Non-maintainer upload. ===================================== debian/tests/control ===================================== @@ -1,6 +1,6 @@ Tests: eva -Depends: frama-c-base, why3, libwhy3-ocaml-dev +Depends: frama-c-base, why3, libwhy3-ocaml-dev (>= 1.5.0) Tests: wp -Depends: frama-c-base, alt-ergo (>= 2.0.0), why3, libwhy3-ocaml-dev +Depends: frama-c-base, alt-ergo (>= 2.0.0), why3, libwhy3-ocaml-dev (>= 1.5.0) Restrictions: skip-not-installable, allow-stderr View it on GitLab: https://salsa.debian.org/ocaml-team/frama-c/-/compare/779882b866e8d6e1c23e885ef71db34d68c73160...7a7c8562cfcfb7740048566703bb4966b5fabecc -- View it on GitLab: https://salsa.debian.org/ocaml-team/frama-c/-/compare/779882b866e8d6e1c23e885ef71db34d68c73160...7a7c8562cfcfb7740048566703bb4966b5fabecc You're receiving this email because of your account on salsa.debian.org.
