Index of ftp://mirror.ox.ac.uk/sites/www.debian.org/debian/pool/main/c/coq-unicoq

[DIR] Parent Directory

[ ] coq-unicoq_1.6-8.16-2.debian.tar.xz  2.31Kb  January 25 2023  [find mirrors]
[ ] coq-unicoq_1.6-8.16-2.dsc  2.04Kb  January 25 2023  [find mirrors]
[ GZ] coq-unicoq_1.6-8.16.orig.tar.gz  579.63Kb  September 6 2022  [find mirrors]
[ ] coq-unicoq_1.6-8.17-1.debian.tar.xz  2.42Kb  June 12 2023 at 20:34  [find mirrors]
[ ] coq-unicoq_1.6-8.17-1.dsc  2.04Kb  June 12 2023 at 20:34  [find mirrors]
[ GZ] coq-unicoq_1.6-8.17.orig.tar.gz  579.68Kb  June 12 2023 at 20:34  [find mirrors]
[ ] libcoq-unicoq_1.6-8.16-2+b1_amd64.deb  76.59Kb  February 13 2023  [find mirrors]
[ ] libcoq-unicoq_1.6-8.16-2+b1_arm64.deb  80.88Kb  February 13 2023  [find mirrors]
[ ] libcoq-unicoq_1.6-8.16-2+b1_armhf.deb  76.09Kb  February 13 2023  [find mirrors]
[ ] libcoq-unicoq_1.6-8.16-2+b1_i386.deb  71.09Kb  February 13 2023  [find mirrors]
[ ] libcoq-unicoq_1.6-8.16-2+b1_ppc64el.deb  79.31Kb  February 13 2023  [find mirrors]
[ ] libcoq-unicoq_1.6-8.16-2+b1_s390x.deb  78.88Kb  February 13 2023  [find mirrors]
[ ] libcoq-unicoq_1.6-8.17-1+b1_amd64.deb  77.21Kb  July 23 2023 at 05:13  [find mirrors]
[ ] libcoq-unicoq_1.6-8.17-1+b1_arm64.deb  81.75Kb  July 23 2023 at 05:12  [find mirrors]
[ ] libcoq-unicoq_1.6-8.17-1+b1_armhf.deb  76.98Kb  July 23 2023 at 05:13  [find mirrors]
[ ] libcoq-unicoq_1.6-8.17-1+b1_i386.deb  71.85Kb  July 23 2023 at 05:44  [find mirrors]
[ ] libcoq-unicoq_1.6-8.17-1+b1_ppc64el.deb  80.02Kb  July 23 2023 at 05:13  [find mirrors]
[ ] libcoq-unicoq_1.6-8.17-1+b1_s390x.deb  80.27Kb  July 23 2023 at 05:13  [find mirrors]