../ coq-corn_8.18.0-1build3.debian.tar.xz 04-Mar-2026 09:32 4320 coq-corn_8.18.0-1build3.dsc 04-Mar-2026 09:32 2170 coq-corn_8.18.0.orig.tar.gz 04-Mar-2026 09:32 1M coq-corn_8.20.0-1build12.debian.tar.xz 22-Jul-2026 18:38 4616 coq-corn_8.20.0-1build12.dsc 22-Jul-2026 18:38 2108 coq-corn_8.20.0.orig.tar.gz 22-Jul-2026 18:38 1M libcoq-corn_8.18.0-1build3_amd64.deb 04-Mar-2026 09:32 15M libcoq-corn_8.20.0-1build12_amd64.deb 22-Jul-2026 18:38 14M