Ubuntu
eprover package

Change logs for eprover source package in Kinetic

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

  * Complete d/copyright.

 -- Julien Puydt <email address hidden>  Sun, 10 Jul 2022 23:07:35 +0200