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

NameLast ModifiedSizeType
../ -  Directory
coq-theories_8.11.0-1_amd64.deb2020-Mar-06 14:08:1931.5Mapplication/vnd.debian.binary-package
coq-theories_8.4pl3dfsg-1_all.deb2014-Jan-20 05:28:4330.5Mapplication/vnd.debian.binary-package
coq-theories_8.4pl4dfsg-3build2_all.deb2015-Nov-04 19:34:3330.7Mapplication/vnd.debian.binary-package
coq-theories_8.6-5build1_amd64.deb2017-Oct-28 21:04:4031.6Mapplication/vnd.debian.binary-package
coq-theories_8.6-5build1_i386.deb2017-Oct-28 21:04:5230.6Mapplication/vnd.debian.binary-package
coq_8.11.0-1.debian.tar.xz2020-Mar-06 13:23:1730.9Kapplication/x-xz
coq_8.11.0-1.dsc2020-Mar-06 13:23:162.4Ktext/prs.lines.tag
coq_8.11.0-1_amd64.deb2020-Mar-06 14:08:1873.0Mapplication/vnd.debian.binary-package
coq_8.11.0.orig.tar.gz2020-Mar-06 13:23:175.5Mapplication/x-gtar-compressed
coq_8.15.0+dfsg-2.debian.tar.xz2022-Feb-05 23:19:5338.7Kapplication/x-xz
coq_8.15.0+dfsg-2.dsc2022-Feb-05 23:19:532.5Ktext/prs.lines.tag
coq_8.15.0+dfsg-2_amd64.deb2022-Feb-06 05:22:0090.9Mapplication/vnd.debian.binary-package
coq_8.15.0+dfsg.orig.tar.xz2022-Jan-18 04:44:254.4Mapplication/x-xz
coq_8.15.2+dfsg-2.debian.tar.xz2022-Jun-12 11:04:1139.1Kapplication/x-xz
coq_8.15.2+dfsg-2.dsc2022-Jun-12 11:04:112.5Ktext/prs.lines.tag
coq_8.15.2+dfsg-2_amd64.deb2022-Jun-12 11:04:1790.5Mapplication/vnd.debian.binary-package
coq_8.15.2+dfsg.orig.tar.xz2022-Jun-01 10:53:574.4Mapplication/x-xz
coq_8.4pl3dfsg-1.debian.tar.xz2014-Jan-20 04:48:5215.4Kapplication/x-xz
coq_8.4pl3dfsg-1.dsc2014-Jan-20 04:48:532.3Ktext/prs.lines.tag
coq_8.4pl3dfsg-1_amd64.deb2014-Jan-20 05:28:453.8Mapplication/vnd.debian.binary-package
coq_8.4pl3dfsg-1_i386.deb2014-Jan-20 05:28:553.5Mapplication/vnd.debian.binary-package
coq_8.4pl3dfsg.orig.tar.gz2014-Jan-20 04:48:533.3Mapplication/x-gtar-compressed
coq_8.4pl4dfsg-3build2.debian.tar.xz2015-Nov-04 18:44:2115.7Kapplication/x-xz
coq_8.4pl4dfsg-3build2.dsc2015-Nov-04 18:44:212.3Ktext/prs.lines.tag
coq_8.4pl4dfsg-3build2_amd64.deb2015-Nov-04 19:34:343.8Mapplication/vnd.debian.binary-package
coq_8.4pl4dfsg-3build2_i386.deb2015-Nov-04 19:09:443.5Mapplication/vnd.debian.binary-package
coq_8.4pl4dfsg.orig.tar.gz2014-Jul-28 04:43:173.3Mapplication/x-gtar-compressed
coq_8.6-5build1.debian.tar.xz2017-Oct-28 20:09:2821.3Kapplication/x-xz
coq_8.6-5build1.dsc2017-Oct-28 20:09:282.3Ktext/prs.lines.tag
coq_8.6-5build1_amd64.deb2017-Oct-28 21:04:4116.8Mapplication/vnd.debian.binary-package
coq_8.6-5build1_i386.deb2017-Oct-28 21:04:5116.1Mapplication/vnd.debian.binary-package
coq_8.6.orig.tar.gz2016-Dec-28 22:43:414.7Mapplication/x-gtar-compressed
coqide_8.11.0-1_amd64.deb2020-Mar-06 14:08:181.6Mapplication/vnd.debian.binary-package
coqide_8.15.0+dfsg-2_amd64.deb2022-Feb-06 05:21:532.2Mapplication/vnd.debian.binary-package
coqide_8.15.2+dfsg-2_amd64.deb2022-Jun-12 11:04:172.2Mapplication/vnd.debian.binary-package
coqide_8.4pl3dfsg-1_amd64.deb2014-Jan-20 05:28:45727.1Kapplication/vnd.debian.binary-package
coqide_8.4pl3dfsg-1_i386.deb2014-Jan-20 05:28:54661.6Kapplication/vnd.debian.binary-package
coqide_8.4pl4dfsg-3build2_amd64.deb2015-Nov-04 19:34:31731.3Kapplication/vnd.debian.binary-package
coqide_8.4pl4dfsg-3build2_i386.deb2015-Nov-04 19:09:44694.9Kapplication/vnd.debian.binary-package
coqide_8.6-5build1_amd64.deb2017-Oct-28 21:04:401.4Mapplication/vnd.debian.binary-package
coqide_8.6-5build1_i386.deb2017-Oct-28 21:04:511.3Mapplication/vnd.debian.binary-package
libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb2022-Feb-06 05:21:5842.9Mapplication/vnd.debian.binary-package
libcoq-core-ocaml-dev_8.15.2+dfsg-2_amd64.deb2022-Jun-12 11:04:1646.6Mapplication/vnd.debian.binary-package
libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb2022-Feb-06 05:21:5625.8Mapplication/vnd.debian.binary-package
libcoq-core-ocaml_8.15.2+dfsg-2_amd64.deb2022-Jun-12 11:04:1625.6Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.11.0-1_amd64.deb2020-Mar-06 14:08:2115.3Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb2014-Jan-20 05:28:433.5Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb2014-Jan-20 05:28:553.4Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb2015-Nov-04 19:34:323.5Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb2015-Nov-04 19:09:453.5Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.6-5build1_amd64.deb2017-Oct-28 21:04:4013.1Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.6-5build1_i386.deb2017-Oct-28 21:04:5013.1Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.11.0-1_amd64.deb2020-Mar-06 14:08:206.0Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.4pl3dfsg-1_amd64.deb2014-Jan-20 05:28:431.5Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.4pl3dfsg-1_i386.deb2014-Jan-20 05:28:541.3Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb2015-Nov-04 19:34:311.4Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb2015-Nov-04 19:09:441.3Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.6-5build1_amd64.deb2017-Oct-28 21:04:393.4Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.6-5build1_i386.deb2017-Oct-28 21:04:513.2Mapplication/vnd.debian.binary-package
libcoq-stdlib_8.15.0+dfsg-2_amd64.deb2022-Feb-06 05:21:5823.5Mapplication/vnd.debian.binary-package
libcoq-stdlib_8.15.2+dfsg-2_amd64.deb2022-Jun-12 11:04:1723.3Mapplication/vnd.debian.binary-package
lighttpd/1.4.59