Index of /ubuntu-old-releases/ubuntu/pool/universe/c/coq-equations/
../
coq-equations_1.3-8.15-2build1.debian.tar.xz 30-Aug-2022 10:48 2224
coq-equations_1.3-8.15-2build1.dsc 30-Aug-2022 10:48 2160
coq-equations_1.3-8.15.orig.tar.gz 18-Jul-2022 23:49 1095737
libcoq-equations_1.3-8.15-2build1_amd64.deb 30-Aug-2022 10:48 1638662
libcoq-equations_1.3-8.15-2build1_arm64.deb 30-Aug-2022 10:48 1708592
libcoq-equations_1.3-8.15-2build1_armhf.deb 30-Aug-2022 10:48 1637002
libcoq-equations_1.3-8.15-2build1_ppc64el.deb 30-Aug-2022 10:48 1668492
libcoq-equations_1.3-8.15-2build1_riscv64.deb 30-Aug-2022 11:34 1645932
libcoq-equations_1.3-8.15-2build1_s390x.deb 30-Aug-2022 10:48 1682354