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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]coq-theories_8.3.pl4+dfsg-1_all.deb2012-04-03 07:04 52M 
[   ]coq-theories_8.4pl3dfsg-1_all.deb2014-01-19 18:58 30M 
[   ]coq-theories_8.4pl4dfsg-3build2_all.deb2015-11-04 09:04 31M 
[   ]coq-theories_8.6-5build1_amd64.deb2017-10-28 11:34 32M 
[   ]coq-theories_8.6-5build1_i386.deb2017-10-28 11:34 31M 
[   ]coq-theories_8.11.0-1_amd64.deb2020-03-06 03:38 32M 
[   ]coq-theories_8.12.0-3build1_amd64.deb2020-10-03 21:38 35M 
[   ]coq-theories_8.12.0-3build3_amd64.deb2020-11-28 05:13 35M 
[   ]coq_8.3.pl4+dfsg-1_amd64.deb2012-04-03 07:34 5.3M 
[   ]coq_8.3.pl4+dfsg-1_i386.deb2012-04-03 07:04 4.7M 
[   ]coq_8.4pl3dfsg-1_amd64.deb2014-01-19 18:58 3.9M 
[   ]coq_8.4pl3dfsg-1_i386.deb2014-01-19 18:58 3.6M 
[   ]coq_8.4pl4dfsg-3build2_amd64.deb2015-11-04 09:04 3.8M 
[   ]coq_8.4pl4dfsg-3build2_i386.deb2015-11-04 08:39 3.6M 
[   ]coq_8.6-5build1_amd64.deb2017-10-28 11:34 17M 
[   ]coq_8.6-5build1_i386.deb2017-10-28 11:34 16M 
[   ]coq_8.11.0-1_amd64.deb2020-03-06 03:38 73M 
[   ]coq_8.12.0-3build1_amd64.deb2020-10-03 21:38 75M 
[   ]coq_8.12.0-3build3_amd64.deb2020-11-28 05:13 86M 
[   ]coqide_8.3.pl4+dfsg-1_amd64.deb2012-04-03 07:34 5.2M 
[   ]coqide_8.3.pl4+dfsg-1_i386.deb2012-04-03 07:04 4.9M 
[   ]coqide_8.4pl3dfsg-1_amd64.deb2014-01-19 18:58 727K 
[   ]coqide_8.4pl3dfsg-1_i386.deb2014-01-19 18:58 662K 
[   ]coqide_8.4pl4dfsg-3build2_amd64.deb2015-11-04 09:04 731K 
[   ]coqide_8.4pl4dfsg-3build2_i386.deb2015-11-04 08:39 695K 
[   ]coqide_8.6-5build1_amd64.deb2017-10-28 11:34 1.5M 
[   ]coqide_8.6-5build1_i386.deb2017-10-28 11:34 1.3M 
[   ]coqide_8.11.0-1_amd64.deb2020-03-06 03:38 1.7M 
[   ]coqide_8.12.0-3build1_amd64.deb2020-10-03 21:38 1.7M 
[   ]coqide_8.12.0-3build3_amd64.deb2020-11-28 05:13 1.8M 
[   ]libcoq-ocaml-dev_8.3.pl4+dfsg-1_amd64.deb2012-04-03 07:34 5.6M 
[   ]libcoq-ocaml-dev_8.3.pl4+dfsg-1_i386.deb2012-04-03 07:04 5.5M 
[   ]libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb2014-01-19 18:58 3.5M 
[   ]libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb2014-01-19 18:58 3.5M 
[   ]libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb2015-11-04 09:04 3.5M 
[   ]libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb2015-11-04 08:39 3.6M 
[   ]libcoq-ocaml-dev_8.6-5build1_amd64.deb2017-10-28 11:34 13M 
[   ]libcoq-ocaml-dev_8.6-5build1_i386.deb2017-10-28 11:34 13M 
[   ]libcoq-ocaml-dev_8.11.0-1_amd64.deb2020-03-06 03:38 15M 
[   ]libcoq-ocaml-dev_8.12.0-3build1_amd64.deb2020-10-03 21:38 16M 
[   ]libcoq-ocaml-dev_8.12.0-3build3_amd64.deb2020-11-28 05:13 18M 
[   ]libcoq-ocaml_8.3.pl4+dfsg-1_amd64.deb2012-04-03 07:34 1.9M 
[   ]libcoq-ocaml_8.3.pl4+dfsg-1_i386.deb2012-04-03 07:04 1.7M 
[   ]libcoq-ocaml_8.4pl3dfsg-1_amd64.deb2014-01-19 18:58 1.5M 
[   ]libcoq-ocaml_8.4pl3dfsg-1_i386.deb2014-01-19 18:58 1.4M 
[   ]libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb2015-11-04 09:04 1.4M 
[   ]libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb2015-11-04 08:39 1.3M 
[   ]libcoq-ocaml_8.6-5build1_amd64.deb2017-10-28 11:34 3.4M 
[   ]libcoq-ocaml_8.6-5build1_i386.deb2017-10-28 11:34 3.2M 
[   ]libcoq-ocaml_8.11.0-1_amd64.deb2020-03-06 03:38 6.0M 
[   ]libcoq-ocaml_8.12.0-3build1_amd64.deb2020-10-03 21:38 6.4M 
[   ]libcoq-ocaml_8.12.0-3build3_amd64.deb2020-11-28 05:13 7.4M 

Apache/2.4.38 (Debian) Server at repos.uclv.edu.cu Port 80