Index of ftp://ftp.snt.utwente.nl/pub/os/linux/debian/pool/main/c/coq

[DIR] Parent Directory

-15 -14 -13 -12 -11 -10 -09 -08 -07 -06 -05 -04 -03 -02 -01   page 02 of 07
+01 +02 +03 +04 +05 +06 +07 +08 +09 +10 +11 +12 +13 +14 +15   <- Back | Next page ->

[ ] coq_8.16.1+dfsg-1+b2_arm64.deb  97.44Mb  February 13 2023 at 01:55  [find mirrors]
[ ] coq_8.16.1+dfsg-1+b2_armhf.deb  85.70Mb  February 13 2023 at 01:55  [find mirrors]
[ ] coq_8.16.1+dfsg-1+b2_i386.deb  83.46Mb  February 13 2023 at 01:29  [find mirrors]
[ ] coq_8.16.1+dfsg-1+b2_ppc64el.deb  89.54Mb  February 13 2023 at 03:13  [find mirrors]
[ ] coq_8.16.1+dfsg-1+b2_s390x.deb  88.99Mb  February 13 2023 at 01:45  [find mirrors]
[ ] coq_8.16.1+dfsg-1.debian.tar.xz  32.46Kb  November 29 2022  [find mirrors]
[ ] coq_8.16.1+dfsg-1.dsc  2.57Kb  November 29 2022  [find mirrors]
[ ] coq_8.16.1+dfsg.orig.tar.xz  4.50Mb  November 29 2022  [find mirrors]
[ ] coq_8.17.0+dfsg-1+b2_amd64.deb  75.11Mb  July 23 2023 at 05:13  [find mirrors]
[ ] coq_8.17.0+dfsg-1+b2_arm64.deb  81.39Mb  July 23 2023 at 07:16  [find mirrors]
[ ] coq_8.17.0+dfsg-1+b2_armhf.deb  72.73Mb  July 23 2023 at 05:44  [find mirrors]
[ ] coq_8.17.0+dfsg-1+b2_i386.deb  71.09Mb  July 23 2023 at 05:13  [find mirrors]
[ ] coq_8.17.0+dfsg-1+b2_ppc64el.deb  75.59Mb  July 23 2023 at 06:40  [find mirrors]
[ ] coq_8.17.0+dfsg-1+b2_s390x.deb  75.04Mb  July 23 2023 at 21:40  [find mirrors]
[ ] coq_8.17.0+dfsg-1.debian.tar.xz  32.33Kb  June 12 2023 at 07:05  [find mirrors]
[ ] coq_8.17.0+dfsg-1.dsc  2.57Kb  June 12 2023 at 07:05  [find mirrors]
[ ] coq_8.17.0+dfsg-1_amd64.deb  74.97Mb  June 12 2023 at 08:12  [find mirrors]
[ ] coq_8.17.0+dfsg-1_arm64.deb  81.25Mb  June 13 2023 at 04:34  [find mirrors]
[ ] coq_8.17.0+dfsg-1_armhf.deb  72.58Mb  June 12 2023 at 20:02  [find mirrors]
[ ] coq_8.17.0+dfsg-1_i386.deb  70.94Mb  June 12 2023 at 09:12  [find mirrors]
[ ] coq_8.17.0+dfsg-1_ppc64el.deb  75.46Mb  June 15 2023 at 06:10  [find mirrors]
[ ] coq_8.17.0+dfsg-1_s390x.deb  74.90Mb  June 12 2023 at 09:12  [find mirrors]
[ ] coq_8.17.0+dfsg.orig.tar.xz  4.55Mb  June 12 2023 at 07:05  [find mirrors]
[ ] coq_8.9.0-1.debian.tar.xz  27.16Kb  February 6 2019  [find mirrors]
[ ] coq_8.9.0-1.dsc  2.36Kb  February 6 2019  [find mirrors]
[ ] coq_8.9.0-1_amd64.deb  56.26Mb  February 6 2019  [find mirrors]
[ ] coq_8.9.0-1_arm64.deb  60.40Mb  February 6 2019  [find mirrors]
[ ] coq_8.9.0-1_armel.deb  47.71Mb  February 7 2019  [find mirrors]
[ ] coq_8.9.0-1_armhf.deb  54.67Mb  February 7 2019  [find mirrors]
[ ] coq_8.9.0-1_i386.deb  53.59Mb  February 6 2019  [find mirrors]

-15 -14 -13 -12 -11 -10 -09 -08 -07 -06 -05 -04 -03 -02 -01   page 02 of 07
+01 +02 +03 +04 +05 +06 +07 +08 +09 +10 +11 +12 +13 +14 +15   <- Back | Next page ->