Package: eprover

• 3.2.5+ds-1 (main) [trixie, forky, sid]
• 2.6+ds-3 (main) [bookworm]