Index of /ubuntu/pool/universe/c/coq/
../
coq-theories_8.11.0-1_amd64.deb 21-Mar-2025 18:13 33079952
coq-theories_8.12.0-3build1_amd64.deb 21-Mar-2025 18:13 36980788
coq-theories_8.12.0-3build3_amd64.deb 21-Mar-2025 18:13 36233684
coq-theories_8.3.pl4+dfsg-1_all.deb 21-Mar-2025 18:13 54258222
coq-theories_8.4pl3dfsg-1_all.deb 21-Mar-2025 18:13 31970270
coq-theories_8.4pl4dfsg-3build2_all.deb 21-Mar-2025 18:13 32236078
coq-theories_8.6-5build1_amd64.deb 21-Mar-2025 18:13 33181580
coq-theories_8.6-5build1_i386.deb 21-Mar-2025 18:13 32170552
coq_8.11.0-1.debian.tar.xz 21-Mar-2025 18:13 31672
coq_8.11.0-1.dsc 21-Mar-2025 18:13 2496
coq_8.11.0-1_amd64.deb 21-Mar-2025 18:13 76583920
coq_8.11.0.orig.tar.gz 21-Mar-2025 18:13 5825620
coq_8.12.0-3build1.debian.tar.xz 21-Mar-2025 18:13 37840
coq_8.12.0-3build1.dsc 21-Mar-2025 18:13 2507
coq_8.12.0-3build1_amd64.deb 21-Mar-2025 18:14 78727692
coq_8.12.0-3build3.debian.tar.xz 21-Mar-2025 18:14 37912
coq_8.12.0-3build3.dsc 21-Mar-2025 18:14 2507
coq_8.12.0-3build3_amd64.deb 21-Mar-2025 18:14 90497560
coq_8.12.0.orig.tar.gz 21-Mar-2025 18:14 6008211
coq_8.3.pl4+dfsg-1.debian.tar.gz 21-Mar-2025 18:14 16320
coq_8.3.pl4+dfsg-1.dsc 21-Mar-2025 18:14 2343
coq_8.3.pl4+dfsg-1_amd64.deb 21-Mar-2025 18:14 5563182
coq_8.3.pl4+dfsg-1_i386.deb 21-Mar-2025 18:14 4963506
coq_8.3.pl4+dfsg.orig.tar.gz 21-Mar-2025 18:14 3154721
coq_8.4pl3dfsg-1.debian.tar.xz 21-Mar-2025 18:14 15800
coq_8.4pl3dfsg-1.dsc 21-Mar-2025 18:14 2356
coq_8.4pl3dfsg-1_amd64.deb 21-Mar-2025 18:14 4040156
coq_8.4pl3dfsg-1_i386.deb 21-Mar-2025 18:14 3746098
coq_8.4pl3dfsg.orig.tar.gz 21-Mar-2025 18:14 3521338
coq_8.4pl4dfsg-3build2.debian.tar.xz 21-Mar-2025 18:14 16144
coq_8.4pl4dfsg-3build2.dsc 21-Mar-2025 18:14 2398
coq_8.4pl4dfsg-3build2_amd64.deb 21-Mar-2025 18:14 3993698
coq_8.4pl4dfsg-3build2_i386.deb 21-Mar-2025 18:14 3746046
coq_8.4pl4dfsg.orig.tar.gz 21-Mar-2025 18:14 3527076
coq_8.6-5build1.debian.tar.xz 21-Mar-2025 18:14 21864
coq_8.6-5build1.dsc 21-Mar-2025 18:14 2403
coq_8.6-5build1_amd64.deb 21-Mar-2025 18:14 17673808
coq_8.6-5build1_i386.deb 21-Mar-2025 18:14 16948548
coq_8.6.orig.tar.gz 21-Mar-2025 18:14 5008604
coqide_8.11.0-1_amd64.deb 21-Mar-2025 18:14 1758824
coqide_8.12.0-3build1_amd64.deb 21-Mar-2025 18:14 1759240
coqide_8.12.0-3build3_amd64.deb 21-Mar-2025 18:14 1868760
coqide_8.3.pl4+dfsg-1_amd64.deb 21-Mar-2025 18:14 5487638
coqide_8.3.pl4+dfsg-1_i386.deb 21-Mar-2025 18:14 5098422
coqide_8.4pl3dfsg-1_amd64.deb 21-Mar-2025 18:14 744612
coqide_8.4pl3dfsg-1_i386.deb 21-Mar-2025 18:14 677516
coqide_8.4pl4dfsg-3build2_amd64.deb 21-Mar-2025 18:14 748916
coqide_8.4pl4dfsg-3build2_i386.deb 21-Mar-2025 18:14 711626
coqide_8.6-5build1_amd64.deb 21-Mar-2025 18:14 1544828
coqide_8.6-5build1_i386.deb 21-Mar-2025 18:14 1388920
libcoq-ocaml-dev_8.11.0-1_amd64.deb 21-Mar-2025 18:14 16068892
libcoq-ocaml-dev_8.12.0-3build1_amd64.deb 21-Mar-2025 18:14 16481072
libcoq-ocaml-dev_8.12.0-3build3_amd64.deb 21-Mar-2025 18:14 18714416
libcoq-ocaml-dev_8.3.pl4+dfsg-1_amd64.deb 21-Mar-2025 18:14 5842704
libcoq-ocaml-dev_8.3.pl4+dfsg-1_i386.deb 21-Mar-2025 18:14 5745580
libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb 21-Mar-2025 18:14 3664528
libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb 21-Mar-2025 18:14 3649360
libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb 21-Mar-2025 18:14 3670362
libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb 21-Mar-2025 18:14 3734144
libcoq-ocaml-dev_8.6-5build1_amd64.deb 21-Mar-2025 18:14 13815188
libcoq-ocaml-dev_8.6-5build1_i386.deb 21-Mar-2025 18:14 13796020
libcoq-ocaml_8.11.0-1_amd64.deb 21-Mar-2025 18:14 6324304
libcoq-ocaml_8.12.0-3build1_amd64.deb 21-Mar-2025 18:14 6712096
libcoq-ocaml_8.12.0-3build3_amd64.deb 21-Mar-2025 18:14 7729056
libcoq-ocaml_8.3.pl4+dfsg-1_amd64.deb 21-Mar-2025 18:14 2028268
libcoq-ocaml_8.3.pl4+dfsg-1_i386.deb 21-Mar-2025 18:14 1782008
libcoq-ocaml_8.4pl3dfsg-1_amd64.deb 21-Mar-2025 18:14 1585458
libcoq-ocaml_8.4pl3dfsg-1_i386.deb 21-Mar-2025 18:14 1434144
libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb 21-Mar-2025 18:14 1503766
libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb 21-Mar-2025 18:14 1392144
libcoq-ocaml_8.6-5build1_amd64.deb 21-Mar-2025 18:14 3564612
libcoq-ocaml_8.6-5build1_i386.deb 21-Mar-2025 18:14 3394144