Index of /ports/pool/universe/c/coq

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]coq-theories_8.3.pl4+dfsg-1_all.deb2012-04-03 20:04 52M 
[   ]coq-theories_8.4pl3dfsg-1_all.deb2014-01-20 08:58 30M 
[   ]coq-theories_8.4pl4dfsg-3build2_all.deb2015-11-04 23:04 31M 
[   ]coq-theories_8.6-5build1_arm64.deb2017-10-29 01:20 22M 
[   ]coq-theories_8.6-5build1_armhf.deb2017-10-29 01:20 22M 
[   ]coq_8.3.pl4+dfsg-1_armel.deb2012-04-03 22:03 5.7M 
[   ]coq_8.4pl3dfsg-1.debian.tar.xz2014-01-20 08:18 15K 
[   ]coq_8.4pl3dfsg-1.dsc2014-01-20 08:18 2.3K 
[   ]coq_8.4pl3dfsg-1_arm64.deb2014-01-20 12:43 1.1M 
[   ]coq_8.4pl3dfsg-1_armhf.deb2014-01-20 10:03 3.7M 
[   ]coq_8.4pl3dfsg.orig.tar.gz2014-01-20 08:18 3.4M 
[   ]coq_8.4pl4dfsg-3build2.debian.tar.xz2015-11-04 22:14 16K 
[   ]coq_8.4pl4dfsg-3build2.dsc2015-11-04 22:14 2.3K 
[   ]coq_8.4pl4dfsg-3build2_arm64.deb2015-11-04 23:29 3.7M 
[   ]coq_8.4pl4dfsg-3build2_armhf.deb2015-11-04 23:55 3.6M 
[   ]coq_8.4pl4dfsg.orig.tar.gz2014-07-28 08:13 3.4M 
[   ]coq_8.6-5build1.debian.tar.xz2017-10-28 23:39 21K 
[   ]coq_8.6-5build1.dsc2017-10-28 23:39 2.3K 
[   ]coq_8.6-5build1_arm64.deb2017-10-29 01:20 18M 
[   ]coq_8.6-5build1_armhf.deb2017-10-29 01:20 16M 
[   ]coq_8.6.orig.tar.gz2016-12-29 02:13 4.8M 
[   ]coqide_8.3.pl4+dfsg-1_armel.deb2012-04-03 22:03 5.8M 
[   ]coqide_8.4pl3dfsg-1_arm64.deb2014-01-20 12:43 198K 
[   ]coqide_8.4pl3dfsg-1_armhf.deb2014-01-20 10:03 758K 
[   ]coqide_8.4pl4dfsg-3build2_arm64.deb2015-11-04 23:29 754K 
[   ]coqide_8.4pl4dfsg-3build2_armhf.deb2015-11-04 23:55 763K 
[   ]coqide_8.6-5build1_arm64.deb2017-10-29 01:20 1.6M 
[   ]coqide_8.6-5build1_armhf.deb2017-10-29 01:20 1.4M 
[   ]libcoq-ocaml-dev_8.3.pl4+dfsg-1_armel.deb2012-04-03 22:03 7.2M 
[   ]libcoq-ocaml-dev_8.4pl3dfsg-1_arm64.deb2014-01-20 12:43 1.2M 
[   ]libcoq-ocaml-dev_8.4pl3dfsg-1_armhf.deb2014-01-20 10:03 3.8M 
[   ]libcoq-ocaml-dev_8.4pl4dfsg-3build2_arm64.deb2015-11-04 23:29 3.7M 
[   ]libcoq-ocaml-dev_8.4pl4dfsg-3build2_armhf.deb2015-11-04 23:55 4.0M 
[   ]libcoq-ocaml-dev_8.6-5build1_arm64.deb2017-10-29 01:20 13M 
[   ]libcoq-ocaml-dev_8.6-5build1_armhf.deb2017-10-29 01:20 14M 
[   ]libcoq-ocaml_8.3.pl4+dfsg-1_armel.deb2012-04-03 22:03 478K 
[   ]libcoq-ocaml_8.4pl3dfsg-1_arm64.deb2014-01-20 12:43 322K 
[   ]libcoq-ocaml_8.4pl3dfsg-1_armhf.deb2014-01-20 10:03 1.5M 
[   ]libcoq-ocaml_8.4pl4dfsg-3build2_arm64.deb2015-11-04 23:29 1.3M 
[   ]libcoq-ocaml_8.4pl4dfsg-3build2_armhf.deb2015-11-04 23:55 1.4M 
[   ]libcoq-ocaml_8.6-5build1_arm64.deb2017-10-29 01:20 3.6M 
[   ]libcoq-ocaml_8.6-5build1_armhf.deb2017-10-29 01:20 3.3M 

Apache/2.4.7 (Ubuntu) Server at ubuntu-ashisuto.ubuntulinux.jp Port 80