Index of Coq

NameLast modifiedSizeDescription
[PARENTDIR]
Parent Directory		  -  
[ ]
coq_8.20.1+dfsg.orig.tar.xz		3 months ago4.8MTAR compressed archive
[ ]
coq_8.20.1+dfsg-1.debian.tar.xz		3 months ago 30KTAR compressed archive
[ ]
coq_8.19.1+dfsg.orig.tar.bz2		1 year ago5.3MTAR compressed archive
[ ]
coq_8.19.1+dfsg-3build3.debian.tar.xz		9 months ago 32KTAR compressed archive
[ ]
coq_8.18.0+dfsg.orig.tar.xz		1 year ago4.6MTAR compressed archive
[ ]
coq_8.18.0+dfsg-1build2.debian.tar.xz		1 year ago 33KTAR compressed archive
[ ]
coq_8.15.0+dfsg.orig.tar.xz		3 years ago4.5MTAR compressed archive
[ ]
coq_8.15.0+dfsg-2.debian.tar.xz		3 years ago 39KTAR compressed archive
[ ]
coq_8.11.0-1.debian.tar.xz		5 years ago 31KTAR compressed archive
[ ]
coq_8.6-5build1.debian.tar.xz		8 years ago 21KTAR compressed archive
[ ]
coq_8.4pl4dfsg-3build2.debian.tar.xz		10 years ago 16KTAR compressed archive
[ ]
coq_8.4pl3dfsg-1.debian.tar.xz		11 years ago 15KTAR compressed archive
[ ]
coq_8.11.0.orig.tar.gz		5 years ago5.6MGZIP compressed TAR archive
[ ]
coq_8.6.orig.tar.gz		8 years ago4.8MGZIP compressed TAR archive
[ ]
coq_8.4pl4dfsg.orig.tar.gz		11 years ago3.4MGZIP compressed TAR archive
[ ]
coq_8.4pl3dfsg.orig.tar.gz		11 years ago3.4MGZIP compressed TAR archive
[ ]
libcoq-stdlib_8.20.1+dfsg-1_amd64.deb		3 months ago 26M 
[ ]
libcoq-stdlib_8.19.1+dfsg-3build3_amd64.deb		9 months ago 26M 
[ ]
libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb		1 year ago 25M 
[ ]
libcoq-stdlib_8.15.0+dfsg-2_amd64.deb		3 years ago 24M 
[ ]
libcoq-ocaml_8.11.0-1_amd64.deb		5 years ago6.0M 
[ ]
libcoq-ocaml_8.6-5build1_i386.deb		8 years ago3.2M 
[ ]
libcoq-ocaml_8.6-5build1_amd64.deb		8 years ago3.4M 
[ ]
libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb		10 years ago1.3M 
[ ]
libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb		10 years ago1.4M 
[ ]
libcoq-ocaml_8.4pl3dfsg-1_i386.deb		11 years ago1.4M 
[ ]
libcoq-ocaml_8.4pl3dfsg-1_amd64.deb		11 years ago1.5M 
[ ]
libcoq-ocaml-dev_8.11.0-1_amd64.deb		5 years ago 15M 
[ ]
libcoq-ocaml-dev_8.6-5build1_i386.deb		8 years ago 13M 
[ ]
libcoq-ocaml-dev_8.6-5build1_amd64.deb		8 years ago 13M 
[ ]
libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb		10 years ago3.6M 
[ ]
libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb		10 years ago3.5M 
[ ]
libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb		11 years ago3.5M 
[ ]
libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb		11 years ago3.5M 
[ ]
libcoq-core-ocaml_8.20.1+dfsg-1_amd64.deb		3 months ago 26M 
[ ]
libcoq-core-ocaml_8.19.1+dfsg-3build3_amd64.deb		9 months ago 25M 
[ ]
libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb		1 year ago 26M 
[ ]
libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb		3 years ago 26M 
[ ]
libcoq-core-ocaml-dev_8.20.1+dfsg-1_amd64.deb		3 months ago 66M 
[ ]
libcoq-core-ocaml-dev_8.19.1+dfsg-3build3_amd64.deb		9 months ago 65M 
[ ]
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64.deb		1 year ago 49M 
[ ]
libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb		3 years ago 43M 
[ ]
coq_8.20.1+dfsg-1_amd64.deb		3 months ago 78M 
[ ]
coq_8.20.1+dfsg-1.dsc		3 months ago2.5K 
[ ]
coq_8.19.1+dfsg-3build3_amd64.deb		9 months ago 96M 
[ ]
coq_8.19.1+dfsg-3build3.dsc		9 months ago2.5K 
[ ]
coq_8.18.0+dfsg-1build2_amd64.deb		1 year ago 91M 
[ ]
coq_8.18.0+dfsg-1build2.dsc		1 year ago2.6K 
[ ]
coq_8.15.0+dfsg-2_amd64.deb		3 years ago 91M 
[ ]
coq_8.15.0+dfsg-2.dsc		3 years ago2.5K 
[ ]
coq_8.11.0-1_amd64.deb		5 years ago 73M 
[ ]
coq_8.11.0-1.dsc		5 years ago2.4K 
[ ]
coq_8.6-5build1_i386.deb		8 years ago 16M 
[ ]
coq_8.6-5build1_amd64.deb		8 years ago 17M 
[ ]
coq_8.6-5build1.dsc		8 years ago2.3K 
[ ]
coq_8.4pl4dfsg-3build2_i386.deb		10 years ago3.6M 
[ ]
coq_8.4pl4dfsg-3build2_amd64.deb		10 years ago3.8M 
[ ]
coq_8.4pl4dfsg-3build2.dsc		10 years ago2.3K 
[ ]
coq_8.4pl3dfsg-1_i386.deb		11 years ago3.6M 
[ ]
coq_8.4pl3dfsg-1_amd64.deb		11 years ago3.9M 
[ ]
coq_8.4pl3dfsg-1.dsc		11 years ago2.3K 
[ ]
coqide_8.20.1+dfsg-1_amd64.deb		3 months ago2.1M 
[ ]
coqide_8.19.1+dfsg-3build3_amd64.deb		9 months ago2.3M 
[ ]
coqide_8.18.0+dfsg-1build2_amd64.deb		1 year ago2.2M 
[ ]
coqide_8.15.0+dfsg-2_amd64.deb		3 years ago2.3M 
[ ]
coqide_8.11.0-1_amd64.deb		5 years ago1.7M 
[ ]
coqide_8.6-5build1_i386.deb		8 years ago1.3M 
[ ]
coqide_8.6-5build1_amd64.deb		8 years ago1.5M 
[ ]
coqide_8.4pl4dfsg-3build2_i386.deb		10 years ago695K 
[ ]
coqide_8.4pl4dfsg-3build2_amd64.deb		10 years ago731K 
[ ]
coqide_8.4pl3dfsg-1_i386.deb		11 years ago662K 
[ ]
coqide_8.4pl3dfsg-1_amd64.deb		11 years ago727K 
[ ]
coq-theories_8.11.0-1_amd64.deb		5 years ago 32M 
[ ]
coq-theories_8.6-5build1_i386.deb		8 years ago 31M 
[ ]
coq-theories_8.6-5build1_amd64.deb		8 years ago 32M 
[ ]
coq-theories_8.4pl4dfsg-3build2_all.deb		10 years ago 31M 
[ ]
coq-theories_8.4pl3dfsg-1_all.deb		11 years ago 30M