Index of /mirror/ubuntu-ports/pool/universe/c/coq/

NameLast ModifiedSizeType
../ -  Directory
coq-theories_8.11.0-1_arm64.deb2020-Mar-06 17:13:2120.4Mapplication/vnd.debian.binary-package
coq-theories_8.4pl3dfsg-1_all.deb2014-Jan-20 07:58:4330.5Mapplication/vnd.debian.binary-package
coq-theories_8.4pl4dfsg-3build2_all.deb2015-Nov-04 22:04:3330.7Mapplication/vnd.debian.binary-package
coq-theories_8.6-5build1_arm64.deb2017-Oct-29 00:20:1021.7Mapplication/vnd.debian.binary-package
coq-theories_8.6-5build1_armhf.deb2017-Oct-29 00:20:3121.7Mapplication/vnd.debian.binary-package
coq_8.11.0-1.debian.tar.xz2020-Mar-06 15:53:1730.9Kapplication/x-xz
coq_8.11.0-1.dsc2020-Mar-06 15:53:162.4Ktext/prs.lines.tag
coq_8.11.0-1_arm64.deb2020-Mar-06 17:13:2480.0Mapplication/vnd.debian.binary-package
coq_8.11.0.orig.tar.gz2020-Mar-06 15:53:175.5Mapplication/x-gtar-compressed
coq_8.15.0+dfsg-2.debian.tar.xz2022-Feb-06 01:49:5338.7Kapplication/x-xz
coq_8.15.0+dfsg-2.dsc2022-Feb-06 01:49:532.5Ktext/prs.lines.tag
coq_8.15.0+dfsg-2_arm64.deb2022-Feb-06 20:54:01101.7Mapplication/vnd.debian.binary-package
coq_8.15.0+dfsg-2_armhf.deb2022-Feb-06 07:53:1288.9Mapplication/vnd.debian.binary-package
coq_8.15.0+dfsg-2_riscv64.deb2022-Feb-06 07:53:3490.5Mapplication/vnd.debian.binary-package
coq_8.15.0+dfsg.orig.tar.xz2022-Jan-18 07:14:254.4Mapplication/x-xz
coq_8.18.0+dfsg-1build2.debian.tar.xz2024-Apr-01 02:36:4732.5Kapplication/x-xz
coq_8.18.0+dfsg-1build2.dsc2024-Apr-01 02:36:472.6Ktext/prs.lines.tag
coq_8.18.0+dfsg-1build2_arm64.deb2024-Apr-01 09:55:44101.7Mapplication/vnd.debian.binary-package
coq_8.18.0+dfsg-1build2_armhf.deb2024-Apr-01 09:55:4889.3Mapplication/vnd.debian.binary-package
coq_8.18.0+dfsg-1build2_riscv64.deb2024-Apr-01 09:56:3493.4Mapplication/vnd.debian.binary-package
coq_8.18.0+dfsg.orig.tar.xz2023-Dec-23 03:46:564.6Mapplication/x-xz
coq_8.19.1+dfsg-3build3.debian.tar.xz2024-Sep-07 15:08:5132.2Kapplication/x-xz
coq_8.19.1+dfsg-3build3.dsc2024-Sep-07 15:08:512.5Ktext/prs.lines.tag
coq_8.19.1+dfsg-3build3_arm64.deb2024-Sep-07 16:10:16103.3Mapplication/vnd.debian.binary-package
coq_8.19.1+dfsg-3build3_riscv64.deb2024-Sep-07 17:48:5098.3Mapplication/vnd.debian.binary-package
coq_8.19.1+dfsg.orig.tar.bz22024-May-02 19:53:175.3Mapplication/x-gtar-compressed
coq_8.20.1+dfsg-1.debian.tar.xz2025-Feb-18 09:39:1429.5Kapplication/x-xz
coq_8.20.1+dfsg-1.dsc2025-Feb-18 09:39:142.5Ktext/prs.lines.tag
coq_8.20.1+dfsg-1_arm64.deb2025-Feb-18 09:40:3482.9Mapplication/vnd.debian.binary-package
coq_8.20.1+dfsg-1_riscv64.deb2025-Feb-18 11:45:2479.3Mapplication/vnd.debian.binary-package
coq_8.20.1+dfsg-1build1.debian.tar.xz2025-Jun-19 19:23:3929.5Kapplication/x-xz
coq_8.20.1+dfsg-1build1.dsc2025-Jun-19 19:23:392.5Ktext/prs.lines.tag
coq_8.20.1+dfsg-1build1_arm64.deb2025-Jun-20 07:39:3382.9Mapplication/vnd.debian.binary-package
coq_8.20.1+dfsg-1build1_riscv64.deb2025-Jun-20 12:02:0379.3Mapplication/vnd.debian.binary-package
coq_8.20.1+dfsg.orig.tar.xz2025-Feb-18 09:39:144.8Mapplication/x-xz
coq_8.4pl3dfsg-1.debian.tar.xz2014-Jan-20 07:18:5215.4Kapplication/x-xz
coq_8.4pl3dfsg-1.dsc2014-Jan-20 07:18:532.3Ktext/prs.lines.tag
coq_8.4pl3dfsg-1_arm64.deb2014-Jan-20 11:43:221.0Mapplication/vnd.debian.binary-package
coq_8.4pl3dfsg-1_armhf.deb2014-Jan-20 09:03:213.7Mapplication/vnd.debian.binary-package
coq_8.4pl3dfsg.orig.tar.gz2014-Jan-20 07:18:533.3Mapplication/x-gtar-compressed
coq_8.4pl4dfsg-3build2.debian.tar.xz2015-Nov-04 21:14:2115.7Kapplication/x-xz
coq_8.4pl4dfsg-3build2.dsc2015-Nov-04 21:14:212.3Ktext/prs.lines.tag
coq_8.4pl4dfsg-3build2_arm64.deb2015-Nov-04 22:29:383.7Mapplication/vnd.debian.binary-package
coq_8.4pl4dfsg-3build2_armhf.deb2015-Nov-04 22:55:043.6Mapplication/vnd.debian.binary-package
coq_8.4pl4dfsg.orig.tar.gz2014-Jul-28 07:13:173.3Mapplication/x-gtar-compressed
coq_8.6-5build1.debian.tar.xz2017-Oct-28 22:39:2821.3Kapplication/x-xz
coq_8.6-5build1.dsc2017-Oct-28 22:39:282.3Ktext/prs.lines.tag
coq_8.6-5build1_arm64.deb2017-Oct-29 00:20:1117.9Mapplication/vnd.debian.binary-package
coq_8.6-5build1_armhf.deb2017-Oct-29 00:20:3016.2Mapplication/vnd.debian.binary-package
coq_8.6.orig.tar.gz2016-Dec-29 01:13:414.7Mapplication/x-gtar-compressed
coqide_8.11.0-1_arm64.deb2020-Mar-06 17:13:242.0Mapplication/vnd.debian.binary-package
coqide_8.15.0+dfsg-2_arm64.deb2022-Feb-06 20:54:002.7Mapplication/vnd.debian.binary-package
coqide_8.15.0+dfsg-2_armhf.deb2022-Feb-06 07:53:122.0Mapplication/vnd.debian.binary-package
coqide_8.15.0+dfsg-2_riscv64.deb2022-Feb-06 07:53:322.2Mapplication/vnd.debian.binary-package
coqide_8.18.0+dfsg-1build2_arm64.deb2024-Apr-01 09:55:432.7Mapplication/vnd.debian.binary-package
coqide_8.18.0+dfsg-1build2_armhf.deb2024-Apr-01 09:55:482.0Mapplication/vnd.debian.binary-package
coqide_8.18.0+dfsg-1build2_riscv64.deb2024-Apr-01 09:56:332.3Mapplication/vnd.debian.binary-package
coqide_8.19.1+dfsg-3build3_arm64.deb2024-Sep-07 16:10:152.7Mapplication/vnd.debian.binary-package
coqide_8.19.1+dfsg-3build3_riscv64.deb2024-Sep-07 17:48:492.4Mapplication/vnd.debian.binary-package
coqide_8.20.1+dfsg-1_arm64.deb2025-Feb-18 09:40:322.5Mapplication/vnd.debian.binary-package
coqide_8.20.1+dfsg-1_riscv64.deb2025-Feb-18 11:45:212.2Mapplication/vnd.debian.binary-package
coqide_8.20.1+dfsg-1build1_arm64.deb2025-Jun-20 07:39:322.5Mapplication/vnd.debian.binary-package
coqide_8.20.1+dfsg-1build1_riscv64.deb2025-Jun-20 12:02:022.2Mapplication/vnd.debian.binary-package
coqide_8.4pl3dfsg-1_arm64.deb2014-Jan-20 11:43:22198.3Kapplication/vnd.debian.binary-package
coqide_8.4pl3dfsg-1_armhf.deb2014-Jan-20 09:03:21757.5Kapplication/vnd.debian.binary-package
coqide_8.4pl4dfsg-3build2_arm64.deb2015-Nov-04 22:29:38753.8Kapplication/vnd.debian.binary-package
coqide_8.4pl4dfsg-3build2_armhf.deb2015-Nov-04 22:55:05762.5Kapplication/vnd.debian.binary-package
coqide_8.6-5build1_arm64.deb2017-Oct-29 00:20:121.6Mapplication/vnd.debian.binary-package
coqide_8.6-5build1_armhf.deb2017-Oct-29 00:20:301.3Mapplication/vnd.debian.binary-package
libcoq-core-ocaml-dev_8.15.0+dfsg-2_arm64.deb2022-Feb-06 20:53:5843.4Mapplication/vnd.debian.binary-package
libcoq-core-ocaml-dev_8.15.0+dfsg-2_armhf.deb2022-Feb-06 07:53:1343.7Mapplication/vnd.debian.binary-package
libcoq-core-ocaml-dev_8.15.0+dfsg-2_riscv64.deb2022-Feb-06 07:53:3343.4Mapplication/vnd.debian.binary-package
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_arm64.deb2024-Apr-01 09:55:4249.4Mapplication/vnd.debian.binary-package
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_armhf.deb2024-Apr-01 09:55:4749.5Mapplication/vnd.debian.binary-package
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_riscv64.deb2024-Apr-01 09:56:3256.0Mapplication/vnd.debian.binary-package
libcoq-core-ocaml-dev_8.19.1+dfsg-3build3_arm64.deb2024-Sep-07 16:10:1465.0Mapplication/vnd.debian.binary-package
libcoq-core-ocaml-dev_8.19.1+dfsg-3build3_riscv64.deb2024-Sep-07 17:48:4971.7Mapplication/vnd.debian.binary-package
libcoq-core-ocaml-dev_8.20.1+dfsg-1_arm64.deb2025-Feb-18 09:40:3166.5Mapplication/vnd.debian.binary-package
libcoq-core-ocaml-dev_8.20.1+dfsg-1_riscv64.deb2025-Feb-18 11:45:1973.3Mapplication/vnd.debian.binary-package
libcoq-core-ocaml-dev_8.20.1+dfsg-1build1_arm64.deb2025-Jun-20 07:39:3266.3Mapplication/vnd.debian.binary-package
libcoq-core-ocaml-dev_8.20.1+dfsg-1build1_riscv64.deb2025-Jun-20 12:02:0173.2Mapplication/vnd.debian.binary-package
libcoq-core-ocaml_8.15.0+dfsg-2_arm64.deb2022-Feb-06 20:53:5927.0Mapplication/vnd.debian.binary-package
libcoq-core-ocaml_8.15.0+dfsg-2_armhf.deb2022-Feb-06 07:53:1325.7Mapplication/vnd.debian.binary-package
libcoq-core-ocaml_8.15.0+dfsg-2_riscv64.deb2022-Feb-06 07:53:3325.8Mapplication/vnd.debian.binary-package
libcoq-core-ocaml_8.18.0+dfsg-1build2_arm64.deb2024-Apr-01 09:55:4327.8Mapplication/vnd.debian.binary-package
libcoq-core-ocaml_8.18.0+dfsg-1build2_armhf.deb2024-Apr-01 09:55:4826.2Mapplication/vnd.debian.binary-package
libcoq-core-ocaml_8.18.0+dfsg-1build2_riscv64.deb2024-Apr-01 09:56:3326.6Mapplication/vnd.debian.binary-package
libcoq-core-ocaml_8.19.1+dfsg-3build3_arm64.deb2024-Sep-07 16:10:1525.8Mapplication/vnd.debian.binary-package
libcoq-core-ocaml_8.19.1+dfsg-3build3_riscv64.deb2024-Sep-07 17:48:4925.0Mapplication/vnd.debian.binary-package
libcoq-core-ocaml_8.20.1+dfsg-1_arm64.deb2025-Feb-18 09:40:3226.7Mapplication/vnd.debian.binary-package
libcoq-core-ocaml_8.20.1+dfsg-1_riscv64.deb2025-Feb-18 11:45:2125.9Mapplication/vnd.debian.binary-package
libcoq-core-ocaml_8.20.1+dfsg-1build1_arm64.deb2025-Jun-20 07:39:3226.6Mapplication/vnd.debian.binary-package
libcoq-core-ocaml_8.20.1+dfsg-1build1_riscv64.deb2025-Jun-20 12:02:0225.9Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.11.0-1_arm64.deb2020-Mar-06 17:13:2515.6Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.4pl3dfsg-1_arm64.deb2014-Jan-20 11:43:211.1Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.4pl3dfsg-1_armhf.deb2014-Jan-20 09:03:203.8Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.4pl4dfsg-3build2_arm64.deb2015-Nov-04 22:29:383.7Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.4pl4dfsg-3build2_armhf.deb2015-Nov-04 22:55:043.9Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.6-5build1_arm64.deb2017-Oct-29 00:20:1113.3Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.6-5build1_armhf.deb2017-Oct-29 00:20:3113.6Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.11.0-1_arm64.deb2020-Mar-06 17:13:246.5Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.4pl3dfsg-1_arm64.deb2014-Jan-20 11:43:22322.4Kapplication/vnd.debian.binary-package
libcoq-ocaml_8.4pl3dfsg-1_armhf.deb2014-Jan-20 09:03:201.4Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.4pl4dfsg-3build2_arm64.deb2015-Nov-04 22:29:371.3Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.4pl4dfsg-3build2_armhf.deb2015-Nov-04 22:55:051.4Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.6-5build1_arm64.deb2017-Oct-29 00:20:113.6Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.6-5build1_armhf.deb2017-Oct-29 00:20:303.3Mapplication/vnd.debian.binary-package
libcoq-stdlib_8.15.0+dfsg-2_arm64.deb2022-Feb-06 20:54:0223.5Mapplication/vnd.debian.binary-package
libcoq-stdlib_8.15.0+dfsg-2_armhf.deb2022-Feb-06 07:53:1123.5Mapplication/vnd.debian.binary-package
libcoq-stdlib_8.15.0+dfsg-2_riscv64.deb2022-Feb-06 07:53:3423.5Mapplication/vnd.debian.binary-package
libcoq-stdlib_8.18.0+dfsg-1build2_arm64.deb2024-Apr-01 09:55:4225.2Mapplication/vnd.debian.binary-package
libcoq-stdlib_8.18.0+dfsg-1build2_armhf.deb2024-Apr-01 09:55:4725.2Mapplication/vnd.debian.binary-package
libcoq-stdlib_8.18.0+dfsg-1build2_riscv64.deb2024-Apr-01 09:56:3125.2Mapplication/vnd.debian.binary-package
libcoq-stdlib_8.19.1+dfsg-3build3_arm64.deb2024-Sep-07 16:10:1325.7Mapplication/vnd.debian.binary-package
libcoq-stdlib_8.19.1+dfsg-3build3_riscv64.deb2024-Sep-07 17:48:4925.7Mapplication/vnd.debian.binary-package
libcoq-stdlib_8.20.1+dfsg-1_arm64.deb2025-Feb-18 09:40:3025.7Mapplication/vnd.debian.binary-package
libcoq-stdlib_8.20.1+dfsg-1_riscv64.deb2025-Feb-18 11:45:1825.7Mapplication/vnd.debian.binary-package
libcoq-stdlib_8.20.1+dfsg-1build1_arm64.deb2025-Jun-20 07:39:3125.6Mapplication/vnd.debian.binary-package
libcoq-stdlib_8.20.1+dfsg-1build1_riscv64.deb2025-Jun-20 12:02:0025.6Mapplication/vnd.debian.binary-package
lighttpd/1.4.63