Package: coq-libhyps

• 2.0.8-6 (main) [experimental]
• 2.0.8-5 (main) [experimental]
• 2.0.8-4 (main) [trixie, forky, sid]
• 2.0.6-2 (main) [bookworm]