Index of /raspbian/pool/main/c/coq

[ICO]NameLast modifiedSizeDescriptionMetadata

[DIR]Parent Directory  -   
[   ]coq-theories_8.4pl4dfsg-1_all.deb27-Jul-2014 15:26 31M  Details
[   ]coq-theories_8.6-4_armhf.deb17-Jan-2017 02:52 22M  Details
[   ]coq-theories_8.9.0-1_armhf.deb25-Feb-2019 10:08 19M  Details
[   ]coq-theories_8.9.1-2+b1_armhf.deb08-Dec-2019 22:08 19M  Details
[   ]coq_8.4pl4dfsg-1.debian.tar.xz27-Jul-2014 15:26 15K  Details
[   ]coq_8.4pl4dfsg-1.dsc27-Jul-2014 15:26 2.3K  Details
[   ]coq_8.4pl4dfsg-1_armhf.deb13-Aug-2014 11:18 3.7M  Details
[   ]coq_8.4pl4dfsg.orig.tar.gz27-Jul-2014 15:26 3.4M  Details
[   ]coq_8.6-4.debian.tar.xz30-Dec-2016 00:56 21K  Details
[   ]coq_8.6-4.dsc30-Dec-2016 00:56 2.3K  Details
[   ]coq_8.6-4_armhf.deb17-Jan-2017 02:52 13M  Details
[   ]coq_8.6.orig.tar.gz28-Dec-2016 13:44 4.8M  Details
[   ]coq_8.9.0-1.debian.tar.xz06-Feb-2019 18:49 27K  Details
[   ]coq_8.9.0-1.dsc06-Feb-2019 18:49 2.4K  Details
[   ]coq_8.9.0-1_armhf.deb25-Feb-2019 10:08 53M  Details
[   ]coq_8.9.0.orig.tar.gz06-Feb-2019 18:49 5.1M  Details
[   ]coq_8.9.1-2+b1_armhf.deb08-Dec-2019 22:08 56M  Details
[   ]coq_8.9.1-2.debian.tar.xz08-Nov-2019 16:20 29K  Details
[   ]coq_8.9.1-2.dsc08-Nov-2019 16:20 2.1K  Details
[   ]coq_8.9.1.orig.tar.gz20-Aug-2019 03:27 5.1M  Details
[   ]coqide_8.4pl4dfsg-1_armhf.deb13-Aug-2014 11:18 777K  Details
[   ]coqide_8.6-4_armhf.deb17-Jan-2017 02:52 1.3M  Details
[   ]libcoq-ocaml-dev_8.4pl4dfsg-1_armhf.deb13-Aug-2014 11:18 3.8M  Details
[   ]libcoq-ocaml-dev_8.6-4_armhf.deb17-Jan-2017 02:52 13M  Details
[   ]libcoq-ocaml-dev_8.9.0-1_armhf.deb25-Feb-2019 10:08 14M  Details
[   ]libcoq-ocaml-dev_8.9.1-2+b1_armhf.deb08-Dec-2019 22:08 14M  Details
[   ]libcoq-ocaml_8.4pl4dfsg-1_armhf.deb13-Aug-2014 11:18 1.5M  Details
[   ]libcoq-ocaml_8.6-4_armhf.deb17-Jan-2017 02:52 3.4M  Details
[   ]libcoq-ocaml_8.9.0-1_armhf.deb25-Feb-2019 10:08 5.1M  Details
[   ]libcoq-ocaml_8.9.1-2+b1_armhf.deb08-Dec-2019 22:08 5.3M  Details

Apache/2.4.25 (Debian) Server at mirrordirector.raspbian.org Port 80

MirrorBrain powered by Apache