Index of /debian/pool/main/c/coq/

NameLast ModifiedSizeType
../ -  Directory
coq-theories_8.12.0-3+b3_amd64.deb2020-Nov-25 02:28:1434.8Mapplication/vnd.debian.binary-package
coq-theories_8.12.0-3+b3_arm64.deb2020-Nov-25 02:58:5322.8Mapplication/vnd.debian.binary-package
coq-theories_8.12.0-3+b3_armhf.deb2020-Nov-25 02:43:4922.8Mapplication/vnd.debian.binary-package
coq-theories_8.12.0-3+b3_i386.deb2020-Nov-25 02:18:0833.6Mapplication/vnd.debian.binary-package
coq-theories_8.15.0+dfsg-1+b1_amd64.deb2022-Jan-20 18:58:4620.4Mapplication/vnd.debian.binary-package
coq-theories_8.15.0+dfsg-1+b1_arm64.deb2022-Jan-20 19:14:4420.4Mapplication/vnd.debian.binary-package
coq-theories_8.15.0+dfsg-1+b1_armhf.deb2022-Jan-20 20:15:4320.4Mapplication/vnd.debian.binary-package
coq-theories_8.15.0+dfsg-1+b1_i386.deb2022-Jan-20 18:48:3120.4Mapplication/vnd.debian.binary-package
coq-theories_8.4pl4dfsg-1_all.deb2014-Jul-27 11:26:5930.7Mapplication/vnd.debian.binary-package
coq-theories_8.6-4_amd64.deb2016-Dec-29 19:56:5729.9Mapplication/vnd.debian.binary-package
coq-theories_8.6-4_arm64.deb2016-Dec-29 20:57:0821.8Mapplication/vnd.debian.binary-package
coq-theories_8.6-4_armhf.deb2016-Dec-29 22:12:1421.8Mapplication/vnd.debian.binary-package
coq-theories_8.6-4_i386.deb2016-Dec-29 20:57:0628.9Mapplication/vnd.debian.binary-package
coq-theories_8.9.0-1_amd64.deb2019-Feb-06 13:49:3228.3Mapplication/vnd.debian.binary-package
coq-theories_8.9.0-1_arm64.deb2019-Feb-06 15:26:1119.4Mapplication/vnd.debian.binary-package
coq-theories_8.9.0-1_armhf.deb2019-Feb-07 16:15:0919.4Mapplication/vnd.debian.binary-package
coq-theories_8.9.0-1_i386.deb2019-Feb-06 15:21:0127.1Mapplication/vnd.debian.binary-package
coq_8.12.0-3+b3_amd64.deb2020-Nov-25 02:28:1586.2Mapplication/vnd.debian.binary-package
coq_8.12.0-3+b3_arm64.deb2020-Nov-25 02:58:5491.6Mapplication/vnd.debian.binary-package
coq_8.12.0-3+b3_armhf.deb2020-Nov-25 02:43:4984.2Mapplication/vnd.debian.binary-package
coq_8.12.0-3+b3_i386.deb2020-Nov-25 02:18:0883.8Mapplication/vnd.debian.binary-package
coq_8.15.1+dfsg-1_amd64.deb2022-Mar-22 18:58:3376.7Mapplication/vnd.debian.binary-package
coq_8.15.1+dfsg-1_arm64.deb2022-Mar-22 19:13:5783.8Mapplication/vnd.debian.binary-package
coq_8.15.1+dfsg-1_armhf.deb2022-Mar-22 19:14:0374.1Mapplication/vnd.debian.binary-package
coq_8.15.1+dfsg-1_i386.deb2022-Mar-22 19:14:0673.1Mapplication/vnd.debian.binary-package
coq_8.15.2+dfsg-2_amd64.deb2022-Jun-11 17:42:0476.7Mapplication/vnd.debian.binary-package
coq_8.15.2+dfsg-2_arm64.deb2022-Jun-11 17:57:1583.8Mapplication/vnd.debian.binary-package
coq_8.15.2+dfsg-2_armhf.deb2022-Jun-11 18:42:5674.1Mapplication/vnd.debian.binary-package
coq_8.15.2+dfsg-2_i386.deb2022-Jun-11 17:42:0773.1Mapplication/vnd.debian.binary-package
coq_8.4pl4dfsg-1_amd64.deb2014-Jul-27 11:26:593.8Mapplication/vnd.debian.binary-package
coq_8.4pl4dfsg-1_armhf.deb2014-Jul-27 17:28:403.7Mapplication/vnd.debian.binary-package
coq_8.4pl4dfsg-1_i386.deb2014-Jul-27 12:57:543.6Mapplication/vnd.debian.binary-package
coq_8.6-4_amd64.deb2016-Dec-29 19:56:5713.3Mapplication/vnd.debian.binary-package
coq_8.6-4_arm64.deb2016-Dec-29 20:57:0813.1Mapplication/vnd.debian.binary-package
coq_8.6-4_armhf.deb2016-Dec-29 22:12:1413.2Mapplication/vnd.debian.binary-package
coq_8.6-4_i386.deb2016-Dec-29 20:57:0612.9Mapplication/vnd.debian.binary-package
coq_8.9.0-1_amd64.deb2019-Feb-06 13:49:3256.2Mapplication/vnd.debian.binary-package
coq_8.9.0-1_arm64.deb2019-Feb-06 15:26:1160.4Mapplication/vnd.debian.binary-package
coq_8.9.0-1_armhf.deb2019-Feb-07 16:15:0954.6Mapplication/vnd.debian.binary-package
coq_8.9.0-1_i386.deb2019-Feb-06 15:21:0153.6Mapplication/vnd.debian.binary-package
coqide_8.12.0-3+b3_amd64.deb2020-Nov-25 02:28:151.8Mapplication/vnd.debian.binary-package
coqide_8.12.0-3+b3_arm64.deb2020-Nov-25 02:58:542.0Mapplication/vnd.debian.binary-package
coqide_8.12.0-3+b3_armhf.deb2020-Nov-25 02:43:491.6Mapplication/vnd.debian.binary-package
coqide_8.12.0-3+b3_i386.deb2020-Nov-25 02:18:081.6Mapplication/vnd.debian.binary-package
coqide_8.15.1+dfsg-1_amd64.deb2022-Mar-22 18:58:331.9Mapplication/vnd.debian.binary-package
coqide_8.15.1+dfsg-1_arm64.deb2022-Mar-22 19:13:572.2Mapplication/vnd.debian.binary-package
coqide_8.15.1+dfsg-1_armhf.deb2022-Mar-22 19:14:031.7Mapplication/vnd.debian.binary-package
coqide_8.15.1+dfsg-1_i386.deb2022-Mar-22 19:14:061.7Mapplication/vnd.debian.binary-package
coqide_8.15.2+dfsg-2_amd64.deb2022-Jun-11 17:42:041.9Mapplication/vnd.debian.binary-package
coqide_8.15.2+dfsg-2_arm64.deb2022-Jun-11 17:57:152.2Mapplication/vnd.debian.binary-package
coqide_8.15.2+dfsg-2_armhf.deb2022-Jun-11 18:42:561.7Mapplication/vnd.debian.binary-package
coqide_8.15.2+dfsg-2_i386.deb2022-Jun-11 17:42:071.7Mapplication/vnd.debian.binary-package
coqide_8.4pl4dfsg-1_amd64.deb2014-Jul-27 11:26:59778.6Kapplication/vnd.debian.binary-package
coqide_8.4pl4dfsg-1_armhf.deb2014-Jul-27 17:28:40803.7Kapplication/vnd.debian.binary-package
coqide_8.4pl4dfsg-1_i386.deb2014-Jul-27 12:57:54713.6Kapplication/vnd.debian.binary-package
coqide_8.6-4_amd64.deb2016-Dec-29 19:56:571.3Mapplication/vnd.debian.binary-package
coqide_8.6-4_arm64.deb2016-Dec-29 20:57:081.3Mapplication/vnd.debian.binary-package
coqide_8.6-4_armhf.deb2016-Dec-29 22:12:141.4Mapplication/vnd.debian.binary-package
coqide_8.6-4_i386.deb2016-Dec-29 20:57:061.2Mapplication/vnd.debian.binary-package
libcoq-core-ocaml-dev_8.15.1+dfsg-1_amd64.deb2022-Mar-22 18:58:3337.2Mapplication/vnd.debian.binary-package
libcoq-core-ocaml-dev_8.15.1+dfsg-1_arm64.deb2022-Mar-22 19:13:5737.5Mapplication/vnd.debian.binary-package
libcoq-core-ocaml-dev_8.15.1+dfsg-1_armhf.deb2022-Mar-22 19:14:0337.9Mapplication/vnd.debian.binary-package
libcoq-core-ocaml-dev_8.15.1+dfsg-1_i386.deb2022-Mar-22 19:14:0637.5Mapplication/vnd.debian.binary-package
libcoq-core-ocaml-dev_8.15.2+dfsg-2_amd64.deb2022-Jun-11 17:42:0440.3Mapplication/vnd.debian.binary-package
libcoq-core-ocaml-dev_8.15.2+dfsg-2_arm64.deb2022-Jun-11 17:57:1540.3Mapplication/vnd.debian.binary-package
libcoq-core-ocaml-dev_8.15.2+dfsg-2_armhf.deb2022-Jun-11 18:42:5640.7Mapplication/vnd.debian.binary-package
libcoq-core-ocaml-dev_8.15.2+dfsg-2_i386.deb2022-Jun-11 17:42:0740.0Mapplication/vnd.debian.binary-package
libcoq-core-ocaml_8.15.1+dfsg-1_amd64.deb2022-Mar-22 18:58:3321.4Mapplication/vnd.debian.binary-package
libcoq-core-ocaml_8.15.1+dfsg-1_arm64.deb2022-Mar-22 19:13:5721.9Mapplication/vnd.debian.binary-package
libcoq-core-ocaml_8.15.1+dfsg-1_armhf.deb2022-Mar-22 19:14:0321.1Mapplication/vnd.debian.binary-package
libcoq-core-ocaml_8.15.1+dfsg-1_i386.deb2022-Mar-22 19:14:0620.6Mapplication/vnd.debian.binary-package
libcoq-core-ocaml_8.15.2+dfsg-2_amd64.deb2022-Jun-11 17:42:0421.4Mapplication/vnd.debian.binary-package
libcoq-core-ocaml_8.15.2+dfsg-2_arm64.deb2022-Jun-11 17:57:1521.9Mapplication/vnd.debian.binary-package
libcoq-core-ocaml_8.15.2+dfsg-2_armhf.deb2022-Jun-11 18:42:5621.1Mapplication/vnd.debian.binary-package
libcoq-core-ocaml_8.15.2+dfsg-2_i386.deb2022-Jun-11 17:42:0720.6Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb2020-Nov-25 02:28:1517.8Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.12.0-3+b3_arm64.deb2020-Nov-25 02:58:5417.8Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.12.0-3+b3_armhf.deb2020-Nov-25 02:43:5018.3Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.12.0-3+b3_i386.deb2020-Nov-25 02:18:0817.8Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.15.0+dfsg-1+b1_amd64.deb2022-Jan-20 18:58:4637.1Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.15.0+dfsg-1+b1_arm64.deb2022-Jan-20 19:14:4437.4Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.15.0+dfsg-1+b1_armhf.deb2022-Jan-20 20:15:4337.8Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.15.0+dfsg-1+b1_i386.deb2022-Jan-20 18:48:3137.5Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb2014-Jul-27 11:26:593.6Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.4pl4dfsg-1_armhf.deb2014-Jul-27 17:28:403.8Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb2014-Jul-27 12:57:543.6Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.6-4_amd64.deb2016-Dec-29 19:56:5712.6Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.6-4_arm64.deb2016-Dec-29 20:57:0812.9Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.6-4_armhf.deb2016-Dec-29 22:12:1413.5Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.6-4_i386.deb2016-Dec-29 20:57:0612.7Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.9.0-1_amd64.deb2019-Feb-06 13:49:3213.0Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.9.0-1_arm64.deb2019-Feb-06 15:26:1213.3Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.9.0-1_armhf.deb2019-Feb-07 16:15:0913.7Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.9.0-1_i386.deb2019-Feb-06 15:21:0113.0Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.12.0-3+b3_amd64.deb2020-Nov-25 02:28:157.4Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.12.0-3+b3_arm64.deb2020-Nov-25 02:58:547.6Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.12.0-3+b3_armhf.deb2020-Nov-25 02:43:507.3Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.12.0-3+b3_i386.deb2020-Nov-25 02:18:097.2Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.15.0+dfsg-1+b1_amd64.deb2022-Jan-20 18:58:4621.4Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.15.0+dfsg-1+b1_arm64.deb2022-Jan-20 19:14:4421.9Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.15.0+dfsg-1+b1_armhf.deb2022-Jan-20 20:15:4321.1Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.15.0+dfsg-1+b1_i386.deb2022-Jan-20 18:48:3120.6Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.4pl4dfsg-1_amd64.deb2014-Jul-27 11:26:591.5Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.4pl4dfsg-1_armhf.deb2014-Jul-27 17:28:401.5Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.4pl4dfsg-1_i386.deb2014-Jul-27 12:57:541.4Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.6-4_amd64.deb2016-Dec-29 19:56:573.3Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.6-4_arm64.deb2016-Dec-29 20:57:083.3Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.6-4_armhf.deb2016-Dec-29 22:12:143.4Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.6-4_i386.deb2016-Dec-29 20:57:063.2Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.9.0-1_amd64.deb2019-Feb-06 13:49:325.2Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.9.0-1_arm64.deb2019-Feb-06 15:26:125.5Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.9.0-1_armhf.deb2019-Feb-07 16:15:095.1Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.9.0-1_i386.deb2019-Feb-06 15:21:014.9Mapplication/vnd.debian.binary-package
libcoq-stdlib_8.15.1+dfsg-1_amd64.deb2022-Mar-22 18:58:3320.4Mapplication/vnd.debian.binary-package
libcoq-stdlib_8.15.1+dfsg-1_arm64.deb2022-Mar-22 19:13:5720.4Mapplication/vnd.debian.binary-package
libcoq-stdlib_8.15.1+dfsg-1_armhf.deb2022-Mar-22 19:14:0320.4Mapplication/vnd.debian.binary-package
libcoq-stdlib_8.15.1+dfsg-1_i386.deb2022-Mar-22 19:14:0620.4Mapplication/vnd.debian.binary-package
libcoq-stdlib_8.15.2+dfsg-2_amd64.deb2022-Jun-11 17:42:0420.4Mapplication/vnd.debian.binary-package
libcoq-stdlib_8.15.2+dfsg-2_arm64.deb2022-Jun-11 17:57:1520.4Mapplication/vnd.debian.binary-package
libcoq-stdlib_8.15.2+dfsg-2_armhf.deb2022-Jun-11 18:42:5620.4Mapplication/vnd.debian.binary-package
libcoq-stdlib_8.15.2+dfsg-2_i386.deb2022-Jun-11 17:42:0720.4Mapplication/vnd.debian.binary-package
lighttpd/1.4.53