Ubuntu
eprover package

Change logs for eprover source package in Noble

  1. Noble (24.04)
  2. Change log 
  • 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
  • eprover (2.6+ds-3) unstable; urgency=medium

  * Complete d/copyright again.

 -- Julien Puydt <email address hidden>  Wed, 13 Jul 2022 23:52:46 +0200