eprover (3.5.1+ds-1) unstable; urgency=medium

  * Use dpkg-buildflags (Closes: #1119407).
  * Bump Standards-Version to 4.7.4.
  * Rewrite d/watch.
  * Package new upstream.

 -- Julien Puydt <jpuydt@debian.org>  Mon, 03 Aug 2026 19:09:12 +0200

eprover (3.2.5+ds-1) unstable; urgency=medium

  * New upstream release.

 -- Julien Puydt <jpuydt@debian.org>  Fri, 18 Oct 2024 23:03:46 +0200

eprover (3.2.0+ds-1) unstable; urgency=medium

  * New upstream release.

 -- Julien Puydt <jpuydt@debian.org>  Mon, 17 Jun 2024 08:01:15 +0200

eprover (3.1.0+ds-2) unstable; urgency=medium

  * Move executables to /usr

 -- Julien Puydt <jpuydt@debian.org>  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 <jpuydt@debian.org>  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 <jpuydt@debian.org>  Tue, 12 Dec 2023 15:15:05 +0100

eprover (2.6+ds-3) unstable; urgency=medium

  * Complete d/copyright again.

 -- Julien Puydt <jpuydt@debian.org>  Wed, 13 Jul 2022 23:52:46 +0200

eprover (2.6+ds-2) unstable; urgency=medium

  * Complete d/copyright.

 -- Julien Puydt <jpuydt@debian.org>  Sun, 10 Jul 2022 23:07:35 +0200

eprover (2.6+ds-1) unstable; urgency=low

  * Initial release (Closes: #1014159).

 -- Julien Puydt <jpuydt@debian.org>  Fri, 01 Jul 2022 08:56:23 +0200
