-
eprover (3.2.0+ds-1) unstable; urgency=medium
* New upstream release.
-- Julien Puydt <email address hidden> Mon, 17 Jun 2024 08:01:15 +0200
-
eprover (3.1.0+ds-2) unstable; urgency=medium
* Move executables to /usr
-- Julien Puydt <email address hidden> Tue, 11 Jun 2024 09:51:19 +0200
-
eprover (3.1.0+ds-1) unstable; urgency=medium
* Drop unused patch to simplify the Makefile.
* New upstream release.
* Bump standards-version to 4.7.0.
* Refresh patches.
-- Julien Puydt <email address hidden> Thu, 02 May 2024 15:58:03 +0200
-
eprover (3.0.03+ds-1) unstable; urgency=medium
* New upstream release.
* Refresh patches.
* Fix clean target (Closes: #1044847).
-- Julien Puydt <email address hidden> Tue, 12 Dec 2023 15:15:05 +0100