[Git][ocaml-team/frama-c][master] 2 commits: Also tighten the why3 dep for autopkgtest

["Julien Puydt (@jpuydt)" <gitlab@salsa.debian.org>]

Title: GitLab

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	+frama-c (20220511-manganese-1.3) unstable; urgency=medium
	2	+
	3	+ * Tighten the dep on newer why3 also for autopkgtest.
	4	+
	5	+ -- Julien Puydt <jpuydt@debian.org> Mon, 27 Jun 2022 20:50:40 +0200
	6	+
1	7	frama-c (20220511-manganese-1.2) unstable; urgency=medium
2	8
3	9	* Non-maintainer upload.

debian/tests/control

---

1	1	Tests: eva
2		-Depends: frama-c-base, why3, libwhy3-ocaml-dev
	2	+Depends: frama-c-base, why3, libwhy3-ocaml-dev (>= 1.5.0)
3	3
4	4	Tests: wp
5		-Depends: frama-c-base, alt-ergo (>= 2.0.0), why3, libwhy3-ocaml-dev
	5	+Depends: frama-c-base, alt-ergo (>= 2.0.0), why3, libwhy3-ocaml-dev (>= 1.5.0)
6	6	Restrictions: skip-not-installable, allow-stderr

—
View it on GitLab.
You're receiving this email because of your account on salsa.debian.org. If you'd like to receive fewer emails, you can adjust your notification settings.