../ coq-corn_8.20.0-1.debian.tar.xz 17-Feb-2025 16:37 4296 coq-corn_8.20.0-1.dsc 17-Feb-2025 16:37 2117 coq-corn_8.20.0.orig.tar.gz 17-Feb-2025 16:37 1321158 libcoq-corn_8.20.0-1_amd64.deb 02-Mar-2025 10:24 13339472 libcoq-corn_8.20.0-1_arm64.deb 01-Mar-2025 11:53 13341512 libcoq-corn_8.20.0-1_ppc64el.deb 09-Mar-2025 13:36 13341812 libcoq-corn_8.20.0-1_riscv64.deb 16-Mar-2025 15:43 13342716