eprover (2.6+ds-3) unstable; urgency=medium * Complete d/copyright again. -- Julien Puydt Wed, 13 Jul 2022 23:52:46 +0200 eprover (2.6+ds-2) unstable; urgency=medium * Complete d/copyright. -- Julien Puydt Sun, 10 Jul 2022 23:07:35 +0200 eprover (2.6+ds-1) unstable; urgency=low * Initial release (Closes: #1014159). -- Julien Puydt Fri, 01 Jul 2022 08:56:23 +0200