Package: paramcoq

• 1.1.3+coq8.20-1 (main) [trixie, sid]
• 1.1.3+coq8.16-3 (main) [bookworm]