Index of /ubuntu/pool/universe/c/coq

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb2015-11-04 20:39 1.3M 
[   ]libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb2015-11-04 21:04 1.4M 
[   ]libcoq-ocaml_8.4pl3dfsg-1_i386.deb2014-01-20 06:58 1.4M 
[   ]libcoq-ocaml_8.4pl3dfsg-1_amd64.deb2014-01-20 06:58 1.5M 
[   ]libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb2015-11-04 20:39 3.6M 
[   ]libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb2015-11-04 21:04 3.5M 
[   ]libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb2014-01-20 06:58 3.5M 
[   ]libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb2014-01-20 06:58 3.5M 
[   ]coqide_8.4pl4dfsg-3build2_i386.deb2015-11-04 20:39 695K 
[   ]coqide_8.4pl4dfsg-3build2_amd64.deb2015-11-04 21:04 731K 
[   ]coqide_8.4pl3dfsg-1_i386.deb2014-01-20 06:58 662K 
[   ]coqide_8.4pl3dfsg-1_amd64.deb2014-01-20 06:58 727K 
[   ]coq_8.4pl4dfsg-3build2_i386.deb2015-11-04 20:39 3.6M 
[   ]coq_8.4pl4dfsg-3build2_amd64.deb2015-11-04 21:04 3.8M 
[   ]coq_8.4pl3dfsg-1_i386.deb2014-01-20 06:58 3.6M 
[   ]coq_8.4pl3dfsg-1_amd64.deb2014-01-20 06:58 3.9M 
[   ]coq-theories_8.4pl4dfsg-3build2_all.deb2015-11-04 21:04 31M 
[   ]coq-theories_8.4pl3dfsg-1_all.deb2014-01-20 06:58 30M 

Apache/2.4.7 (Ubuntu) Server at saos.usd.ac.id Port 80