Index of /ubuntu-old-releases/ubuntu/pool/universe/c/coq-hammer/
../
coq-hammer_1.3.2+8.15-1.debian.tar.xz 18-Jul-2022 23:49 2232
coq-hammer_1.3.2+8.15-1.dsc 18-Jul-2022 23:49 2171
coq-hammer_1.3.2+8.15.orig.tar.gz 18-Jul-2022 23:49 148626
libcoq-hammer-tactics_1.3.2+8.15-1_amd64.deb 19-Jul-2022 01:08 360248
libcoq-hammer-tactics_1.3.2+8.15-1_arm64.deb 19-Jul-2022 01:08 390410
libcoq-hammer-tactics_1.3.2+8.15-1_armhf.deb 19-Jul-2022 00:45 365238
libcoq-hammer-tactics_1.3.2+8.15-1_ppc64el.deb 19-Jul-2022 01:09 373946
libcoq-hammer-tactics_1.3.2+8.15-1_riscv64.deb 19-Jul-2022 01:49 368334
libcoq-hammer-tactics_1.3.2+8.15-1_s390x.deb 19-Jul-2022 01:09 373766
libcoq-hammer_1.3.2+8.15-1_amd64.deb 19-Jul-2022 01:08 228912
libcoq-hammer_1.3.2+8.15-1_arm64.deb 19-Jul-2022 01:08 257892
libcoq-hammer_1.3.2+8.15-1_armhf.deb 19-Jul-2022 00:45 222142
libcoq-hammer_1.3.2+8.15-1_ppc64el.deb 19-Jul-2022 01:09 245886
libcoq-hammer_1.3.2+8.15-1_riscv64.deb 19-Jul-2022 01:49 227924
libcoq-hammer_1.3.2+8.15-1_s390x.deb 19-Jul-2022 01:09 236544