Index of /ubuntu-old-releases/ubuntu/pool/universe/c/coq-corn/

../
coq-corn_8.13.0-1.debian.tar.xz                    18-Jul-2022 23:49                3776
coq-corn_8.13.0-1.dsc                              18-Jul-2022 23:49                2087
coq-corn_8.13.0.orig.tar.gz                        18-Jul-2022 23:49             1318281
libcoq-corn_8.13.0-1_amd64.deb                     19-Jul-2022 01:08            12919910
libcoq-corn_8.13.0-1_arm64.deb                     19-Jul-2022 12:17            12919124
libcoq-corn_8.13.0-1_armhf.deb                     19-Jul-2022 12:17            12915626
libcoq-corn_8.13.0-1_ppc64el.deb                   19-Jul-2022 01:09            12919882
libcoq-corn_8.13.0-1_riscv64.deb                   19-Jul-2022 04:03            12920168
libcoq-corn_8.13.0-1_s390x.deb                     19-Jul-2022 01:09            12920044