Index of /pool/universe/c/coq

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]coq-dbgsym_8.4pl4dfsg-3build2_amd64.ddeb2016-04-23 06:45 823K 
[ ]coq-dbgsym_8.4pl4dfsg-3build2_arm64.ddeb2016-04-23 04:39 836K 
[ ]coq-dbgsym_8.4pl4dfsg-3build2_armhf.ddeb2016-04-23 03:15 866K 
[ ]coq-dbgsym_8.4pl4dfsg-3build2_i386.ddeb2016-04-23 01:17 771K 
[ ]coq-dbgsym_8.6-5build1_amd64.ddeb2017-10-28 16:50 1.8M 
[ ]coq-dbgsym_8.6-5build1_i386.ddeb2017-10-28 16:50 1.8M 
[ ]coq-dbgsym_8.11.0-1_amd64.ddeb2020-03-06 12:52 6.9M 
[ ]coq-dbgsym_8.11.0-1_arm64.ddeb2020-03-06 12:50 5.9M 
[ ]coq-dbgsym_8.11.0-1_ppc64el.ddeb2020-03-11 12:46 5.4M 
[ ]coq-dbgsym_8.15.0+dfsg-2_amd64.ddeb2022-07-07 03:18 9.9M 
[ ]coq-dbgsym_8.15.0+dfsg-2_arm64.ddeb2022-07-07 11:50 8.1M 
[ ]coq-dbgsym_8.15.0+dfsg-2_armhf.ddeb2022-07-08 01:14 7.6M 
[ ]coq-dbgsym_8.15.0+dfsg-2_ppc64el.ddeb2022-07-08 12:00 6.5M 
[ ]coq-dbgsym_8.15.0+dfsg-2_s390x.ddeb2022-07-09 12:51 6.6M 
[ ]coq-dbgsym_8.18.0+dfsg-1build2_amd64.ddeb2024-03-31 19:41 11M 
[ ]coq-dbgsym_8.18.0+dfsg-1build2_arm64.ddeb2024-04-01 02:39 11M 
[ ]coq-dbgsym_8.18.0+dfsg-1build2_armhf.ddeb2024-04-01 02:45 8.9M 
[ ]coq-dbgsym_8.18.0+dfsg-1build2_ppc64el.ddeb2024-03-31 21:43 8.4M 
[ ]coq-dbgsym_8.18.0+dfsg-1build2_riscv64.ddeb2024-04-01 02:45 9.2M 
[ ]coq-dbgsym_8.18.0+dfsg-1build2_s390x.ddeb2024-03-31 20:43 6.9M 
[ ]coq-dbgsym_8.20.1+dfsg-1build1_amd64.ddeb2025-06-20 00:22 8.7M 
[ ]coq-dbgsym_8.20.1+dfsg-1build1_arm64.ddeb2025-06-20 00:14 8.8M 
[ ]coq-dbgsym_8.20.1+dfsg-1build1_ppc64el.ddeb2025-06-20 00:15 7.9M 
[ ]coq-dbgsym_8.20.1+dfsg-1build1_riscv64.ddeb2025-06-20 04:11 8.5M 
[ ]coq-dbgsym_8.20.1+dfsg-1build1_s390x.ddeb2025-06-20 00:15 6.3M 
[ ]coq-dbgsym_8.20.1+dfsg-1build4_amd64.ddeb2026-03-01 14:14 8.7M 
[ ]coq-dbgsym_8.20.1+dfsg-1build4_amd64v3.ddeb2026-04-24 23:22 8.8M 
[ ]coq-dbgsym_8.20.1+dfsg-1build4_arm64.ddeb2026-03-01 14:14 8.8M 
[ ]coq-dbgsym_8.20.1+dfsg-1build4_ppc64el.ddeb2026-03-01 14:14 8.0M 
[ ]coq-dbgsym_8.20.1+dfsg-1build4_riscv64.ddeb2026-03-01 20:23 8.7M 
[ ]coq-dbgsym_8.20.1+dfsg-1build4_s390x.ddeb2026-03-01 14:14 8.5M 
[ ]coq-theories-dbgsym_8.6-5build1_amd64.ddeb2017-10-28 16:50 830K 
[ ]coq-theories-dbgsym_8.6-5build1_i386.ddeb2017-10-28 16:50 802K 
[ ]coq-theories-dbgsym_8.11.0-1_amd64.ddeb2020-03-06 12:52 849K 
[ ]coqide-dbgsym_8.4pl4dfsg-3build2_amd64.ddeb2016-04-23 06:45 260K 
[ ]coqide-dbgsym_8.4pl4dfsg-3build2_arm64.ddeb2016-04-23 04:39 260K 
[ ]coqide-dbgsym_8.4pl4dfsg-3build2_armhf.ddeb2016-04-23 03:15 267K 
[ ]coqide-dbgsym_8.4pl4dfsg-3build2_i386.ddeb2016-04-23 01:17 243K 
[ ]coqide-dbgsym_8.4pl4dfsg-3build2_powerpc.ddeb2016-04-22 13:25 232K 
[ ]coqide-dbgsym_8.6-5build1_amd64.ddeb2017-10-28 16:50 447K 
[ ]coqide-dbgsym_8.6-5build1_i386.ddeb2017-10-28 16:50 426K 
[ ]coqide-dbgsym_8.11.0-1_amd64.ddeb2020-03-06 12:51 522K 
[ ]coqide-dbgsym_8.11.0-1_arm64.ddeb2020-03-06 12:50 538K 
[ ]coqide-dbgsym_8.11.0-1_ppc64el.ddeb2020-03-11 12:46 468K 
[ ]coqide-dbgsym_8.15.0+dfsg-2_amd64.ddeb2022-07-07 03:18 682K 
[ ]coqide-dbgsym_8.15.0+dfsg-2_arm64.ddeb2022-07-07 11:50 644K 
[ ]coqide-dbgsym_8.15.0+dfsg-2_armhf.ddeb2022-07-08 01:14 588K 
[ ]coqide-dbgsym_8.15.0+dfsg-2_ppc64el.ddeb2022-07-08 12:00 599K 
[ ]coqide-dbgsym_8.15.0+dfsg-2_s390x.ddeb2022-07-09 12:51 562K 
[ ]coqide-dbgsym_8.18.0+dfsg-1build2_amd64.ddeb2024-03-31 19:41 816K 
[ ]coqide-dbgsym_8.18.0+dfsg-1build2_arm64.ddeb2024-04-01 02:39 787K 
[ ]coqide-dbgsym_8.18.0+dfsg-1build2_armhf.ddeb2024-04-01 02:45 721K 
[ ]coqide-dbgsym_8.18.0+dfsg-1build2_ppc64el.ddeb2024-03-31 21:43 707K 
[ ]coqide-dbgsym_8.18.0+dfsg-1build2_riscv64.ddeb2024-04-01 02:45 736K 
[ ]coqide-dbgsym_8.18.0+dfsg-1build2_s390x.ddeb2024-03-31 20:43 562K 
[ ]coqide-dbgsym_8.20.1+dfsg-1build1_amd64.ddeb2025-06-20 00:22 666K 
[ ]coqide-dbgsym_8.20.1+dfsg-1build1_arm64.ddeb2025-06-20 00:14 675K 
[ ]coqide-dbgsym_8.20.1+dfsg-1build1_ppc64el.ddeb2025-06-20 00:15 601K 
[ ]coqide-dbgsym_8.20.1+dfsg-1build1_riscv64.ddeb2025-06-20 04:11 635K 
[ ]coqide-dbgsym_8.20.1+dfsg-1build1_s390x.ddeb2025-06-20 00:15 453K 
[ ]coqide-dbgsym_8.20.1+dfsg-1build4_amd64.ddeb2026-03-01 14:14 672K 
[ ]coqide-dbgsym_8.20.1+dfsg-1build4_amd64v3.ddeb2026-04-24 23:22 671K 
[ ]coqide-dbgsym_8.20.1+dfsg-1build4_arm64.ddeb2026-03-01 14:14 679K 
[ ]coqide-dbgsym_8.20.1+dfsg-1build4_ppc64el.ddeb2026-03-01 14:14 606K 
[ ]coqide-dbgsym_8.20.1+dfsg-1build4_riscv64.ddeb2026-03-01 20:23 636K 
[ ]coqide-dbgsym_8.20.1+dfsg-1build4_s390x.ddeb2026-03-01 14:14 642K 
[ ]libcoq-core-ocaml-dbgsym_8.15.0+dfsg-2_amd64.ddeb2022-07-07 03:18 1.8M 
[ ]libcoq-core-ocaml-dbgsym_8.15.0+dfsg-2_arm64.ddeb2022-07-07 11:50 1.5M 
[ ]libcoq-core-ocaml-dbgsym_8.15.0+dfsg-2_armhf.ddeb2022-07-08 01:14 1.5M 
[ ]libcoq-core-ocaml-dbgsym_8.15.0+dfsg-2_ppc64el.ddeb2022-07-08 12:00 1.3M 
[ ]libcoq-core-ocaml-dbgsym_8.15.0+dfsg-2_s390x.ddeb2022-07-09 12:51 1.3M 
[ ]libcoq-core-ocaml-dbgsym_8.18.0+dfsg-1build2_amd64.ddeb2024-03-31 19:41 2.3M 
[ ]libcoq-core-ocaml-dbgsym_8.18.0+dfsg-1build2_arm64.ddeb2024-04-01 02:39 2.0M 
[ ]libcoq-core-ocaml-dbgsym_8.18.0+dfsg-1build2_armhf.ddeb2024-04-01 02:45 2.0M 
[ ]libcoq-core-ocaml-dbgsym_8.18.0+dfsg-1build2_ppc64el.ddeb2024-03-31 21:43 1.8M 
[ ]libcoq-core-ocaml-dbgsym_8.18.0+dfsg-1build2_riscv64.ddeb2024-04-01 02:45 1.9M 
[ ]libcoq-core-ocaml-dbgsym_8.18.0+dfsg-1build2_s390x.ddeb2024-03-31 20:43 1.3M 
[ ]libcoq-core-ocaml-dbgsym_8.20.1+dfsg-1build1_amd64.ddeb2025-06-20 00:22 2.5M 
[ ]libcoq-core-ocaml-dbgsym_8.20.1+dfsg-1build1_arm64.ddeb2025-06-20 00:14 2.3M 
[ ]libcoq-core-ocaml-dbgsym_8.20.1+dfsg-1build1_ppc64el.ddeb2025-06-20 00:15 2.1M 
[ ]libcoq-core-ocaml-dbgsym_8.20.1+dfsg-1build1_riscv64.ddeb2025-06-20 04:11 2.2M 
[ ]libcoq-core-ocaml-dbgsym_8.20.1+dfsg-1build1_s390x.ddeb2025-06-20 00:15 1.5M 
[ ]libcoq-core-ocaml-dbgsym_8.20.1+dfsg-1build4_amd64.ddeb2026-03-01 14:14 2.5M 
[ ]libcoq-core-ocaml-dbgsym_8.20.1+dfsg-1build4_amd64v3.ddeb2026-04-24 20:24 2.5M 
[ ]libcoq-core-ocaml-dbgsym_8.20.1+dfsg-1build4_arm64.ddeb2026-03-01 14:14 2.3M 
[ ]libcoq-core-ocaml-dbgsym_8.20.1+dfsg-1build4_ppc64el.ddeb2026-03-01 14:14 2.1M 
[ ]libcoq-core-ocaml-dbgsym_8.20.1+dfsg-1build4_riscv64.ddeb2026-03-01 20:23 2.2M 
[ ]libcoq-core-ocaml-dbgsym_8.20.1+dfsg-1build4_s390x.ddeb2026-03-01 14:14 2.2M 
[ ]libcoq-ocaml-dbgsym_8.6-5build1_amd64.ddeb2017-10-28 16:50 363K 
[ ]libcoq-ocaml-dbgsym_8.6-5build1_i386.ddeb2017-10-28 16:50 354K 
[ ]libcoq-ocaml-dbgsym_8.11.0-1_amd64.ddeb2020-03-06 12:52 637K 
[ ]libcoq-ocaml-dbgsym_8.11.0-1_arm64.ddeb2020-03-06 12:50 575K 
[ ]libcoq-ocaml-dbgsym_8.11.0-1_ppc64el.ddeb2020-03-11 12:46 497K 
[ ]libcoq-ocaml-dev-dbgsym_8.4pl4dfsg-3build2_amd64.ddeb2016-04-23 06:45 106K 
[ ]libcoq-ocaml-dev-dbgsym_8.4pl4dfsg-3build2_arm64.ddeb2016-04-23 04:39 107K 
[ ]libcoq-ocaml-dev-dbgsym_8.4pl4dfsg-3build2_armhf.ddeb2016-04-23 03:15 107K 
[ ]libcoq-ocaml-dev-dbgsym_8.4pl4dfsg-3build2_i386.ddeb2016-04-23 01:17 99K 
[ ]libcoq-ocaml-dev-dbgsym_8.6-5build1_amd64.ddeb2017-10-28 16:50 111K 
[ ]libcoq-ocaml-dev-dbgsym_8.6-5build1_i386.ddeb2017-10-28 16:50 108K 
Apache/2.4.29 (Ubuntu) Server at ddebs.ubuntu.com Port 80