Change logs for eprover source package in Lunar

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