Index of ftp://ftp.man.szczecin.pl/pub/Linux/debian/pool/main/c/coq

Parent Directory

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

coq-theories_8.9.0-1_mips.deb	19.41Mb	February 7 2019
coq-theories_8.9.0-1_mips64el.deb	19.42Mb	February 9 2019
coq-theories_8.9.0-1_mipsel.deb	19.41Mb	February 7 2019
coq-theories_8.9.0-1_ppc64el.deb	19.42Mb	February 6 2019
coq-theories_8.9.0-1_s390x.deb	19.42Mb	February 6 2019
coq_8.12.0-3+b3_amd64.deb	86.26Mb	November 25 2020
coq_8.12.0-3+b3_arm64.deb	91.62Mb	November 25 2020
coq_8.12.0-3+b3_armel.deb	100.97Mb	November 25 2020
coq_8.12.0-3+b3_armhf.deb	84.26Mb	November 25 2020
coq_8.12.0-3+b3_i386.deb	83.81Mb	November 25 2020
coq_8.12.0-3+b3_mips64el.deb	100.96Mb	November 25 2020
coq_8.12.0-3+b3_mipsel.deb	100.98Mb	November 26 2020
coq_8.12.0-3+b3_ppc64el.deb	87.24Mb	November 25 2020
coq_8.12.0-3.debian.tar.xz	36.89Kb	September 10 2020
coq_8.12.0-3.dsc	2.42Kb	September 10 2020
coq_8.12.0.orig.tar.gz	5.73Mb	August 22 2020
coq_8.15.0+dfsg-1.debian.tar.xz	38.73Kb	January 17 2022 at 15:02
coq_8.15.0+dfsg-1.dsc	2.55Kb	January 17 2022 at 15:02
coq_8.15.0+dfsg.orig.tar.xz	4.45Mb	January 17 2022 at 15:02
coq_8.15.1+dfsg-1.debian.tar.xz	38.75Kb	March 22 2022 at 22:17
coq_8.15.1+dfsg-1.dsc	2.54Kb	March 22 2022 at 22:17
coq_8.15.1+dfsg-1_amd64.deb	76.71Mb	March 22 2022 at 22:58
coq_8.15.1+dfsg-1_arm64.deb	83.81Mb	March 22 2022 at 23:13
coq_8.15.1+dfsg-1_armhf.deb	74.14Mb	March 22 2022 at 23:14
coq_8.15.1+dfsg-1_i386.deb	73.11Mb	March 22 2022 at 23:14
coq_8.15.1+dfsg-1_ppc64el.deb	77.56Mb	March 22 2022 at 23:29
coq_8.15.1+dfsg-1_s390x.deb	77.12Mb	March 23 2022 at 00:40
coq_8.15.1+dfsg.orig.tar.xz	4.46Mb	March 22 2022 at 22:17
coq_8.4pl4dfsg-1.debian.tar.xz	15.34Kb	July 27 2014
coq_8.4pl4dfsg-1.dsc	2.32Kb	July 27 2014

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