Index of /pool/universe/c/coq
Name
Last modified
Size
Description
Parent Directory
-
coq-dbgsym_8.18.0+dfsg-1build2_amd64.ddeb
2024-03-31 19:41
11M
coq-dbgsym_8.19.1+dfsg-3build3_amd64.ddeb
2024-09-10 05:06
11M
coq-dbgsym_8.18.0+dfsg-1build2_arm64.ddeb
2024-04-01 02:39
11M
coq-dbgsym_8.19.1+dfsg-3build3_arm64.ddeb
2024-09-10 05:05
10M
coq-dbgsym_8.15.0+dfsg-2_amd64.ddeb
2022-07-07 03:18
9.9M
coq-dbgsym_8.18.0+dfsg-1build2_riscv64.ddeb
2024-04-01 02:45
9.2M
coq-dbgsym_8.19.1+dfsg-3build3_riscv64.ddeb
2024-09-10 05:05
9.1M
coq-dbgsym_8.19.1+dfsg-3build3_ppc64el.ddeb
2024-09-10 05:06
9.0M
coq-dbgsym_8.18.0+dfsg-1build2_armhf.ddeb
2024-04-01 02:45
8.9M
coq-dbgsym_8.18.0+dfsg-1build2_ppc64el.ddeb
2024-03-31 21:43
8.4M
coq-dbgsym_8.20.0+dfsg-1_amd64.ddeb
2024-11-20 22:25
8.2M
coq-dbgsym_8.15.0+dfsg-2_arm64.ddeb
2022-07-07 11:50
8.1M
coq-dbgsym_8.20.0+dfsg-1_arm64.ddeb
2024-11-20 22:22
8.0M
coq-dbgsym_8.15.0+dfsg-2_armhf.ddeb
2022-07-08 01:14
7.6M
coq-dbgsym_8.20.0+dfsg-1_riscv64.ddeb
2024-11-21 07:33
7.0M
coq-dbgsym_8.19.1+dfsg-3build3_s390x.ddeb
2024-09-10 05:06
7.0M
coq-dbgsym_8.11.0-1_amd64.ddeb
2020-03-06 12:52
6.9M
coq-dbgsym_8.18.0+dfsg-1build2_s390x.ddeb
2024-03-31 20:43
6.9M
coq-dbgsym_8.15.0+dfsg-2_s390x.ddeb
2022-07-09 12:51
6.6M
coq-dbgsym_8.15.0+dfsg-2_ppc64el.ddeb
2022-07-08 12:00
6.5M
coq-dbgsym_8.20.0+dfsg-1_ppc64el.ddeb
2024-11-20 22:24
6.3M
coq-dbgsym_8.11.0-1_arm64.ddeb
2020-03-06 12:50
5.9M
coq-dbgsym_8.11.0-1_ppc64el.ddeb
2020-03-11 12:46
5.4M
coq-dbgsym_8.20.0+dfsg-1_s390x.ddeb
2024-11-20 22:24
4.6M
libcoq-core-ocaml-dbgsym_8.19.1+dfsg-3build3_amd64.ddeb
2024-09-10 05:06
2.5M
libcoq-core-ocaml-dbgsym_8.20.0+dfsg-1_amd64.ddeb
2024-11-20 22:25
2.5M
libcoq-core-ocaml-dbgsym_8.19.1+dfsg-3build3_arm64.ddeb
2024-09-10 05:05
2.3M
libcoq-core-ocaml-dbgsym_8.19.1+dfsg-3build3_riscv64.ddeb
2024-09-10 05:05
2.3M
libcoq-core-ocaml-dbgsym_8.20.0+dfsg-1_arm64.ddeb
2024-11-20 22:22
2.3M
libcoq-core-ocaml-dbgsym_8.18.0+dfsg-1build2_amd64.ddeb
2024-03-31 19:41
2.3M
libcoq-core-ocaml-dbgsym_8.20.0+dfsg-1_riscv64.ddeb
2024-11-21 07:33
2.2M
libcoq-core-ocaml-dbgsym_8.19.1+dfsg-3build3_ppc64el.ddeb
2024-09-10 05:06
2.1M
libcoq-core-ocaml-dbgsym_8.20.0+dfsg-1_ppc64el.ddeb
2024-11-20 22:24
2.1M
libcoq-core-ocaml-dbgsym_8.18.0+dfsg-1build2_arm64.ddeb
2024-04-01 02:39
2.0M
libcoq-core-ocaml-dbgsym_8.18.0+dfsg-1build2_armhf.ddeb
2024-04-01 02:45
2.0M
libcoq-core-ocaml-dbgsym_8.18.0+dfsg-1build2_riscv64.ddeb
2024-04-01 02:45
1.9M
coq-dbgsym_8.6-5build1_amd64.ddeb
2017-10-28 16:50
1.8M
coq-dbgsym_8.6-5build1_i386.ddeb
2017-10-28 16:50
1.8M
libcoq-core-ocaml-dbgsym_8.18.0+dfsg-1build2_ppc64el.ddeb
2024-03-31 21:43
1.8M
libcoq-core-ocaml-dbgsym_8.15.0+dfsg-2_amd64.ddeb
2022-07-07 03:18
1.8M
libcoq-core-ocaml-dbgsym_8.19.1+dfsg-3build3_s390x.ddeb
2024-09-10 05:05
1.6M
libcoq-core-ocaml-dbgsym_8.20.0+dfsg-1_s390x.ddeb
2024-11-20 22:24
1.5M
libcoq-core-ocaml-dbgsym_8.15.0+dfsg-2_armhf.ddeb
2022-07-08 01:14
1.5M
libcoq-core-ocaml-dbgsym_8.15.0+dfsg-2_arm64.ddeb
2022-07-07 11:50
1.5M
libcoq-core-ocaml-dbgsym_8.15.0+dfsg-2_s390x.ddeb
2022-07-09 12:51
1.3M
libcoq-core-ocaml-dbgsym_8.15.0+dfsg-2_ppc64el.ddeb
2022-07-08 12:00
1.3M
libcoq-core-ocaml-dbgsym_8.18.0+dfsg-1build2_s390x.ddeb
2024-03-31 20:43
1.3M
coq-dbgsym_8.4pl4dfsg-3build2_armhf.ddeb
2016-04-23 03:15
866K
coq-theories-dbgsym_8.11.0-1_amd64.ddeb
2020-03-06 12:52
849K
coq-dbgsym_8.4pl4dfsg-3build2_arm64.ddeb
2016-04-23 04:39
836K
coq-theories-dbgsym_8.6-5build1_amd64.ddeb
2017-10-28 16:50
830K
coq-dbgsym_8.4pl4dfsg-3build2_amd64.ddeb
2016-04-23 06:45
823K
coqide-dbgsym_8.18.0+dfsg-1build2_amd64.ddeb
2024-03-31 19:41
816K
coqide-dbgsym_8.19.1+dfsg-3build3_arm64.ddeb
2024-09-10 05:05
806K
coqide-dbgsym_8.19.1+dfsg-3build3_amd64.ddeb
2024-09-10 05:06
804K
coq-theories-dbgsym_8.6-5build1_i386.ddeb
2017-10-28 16:50
802K
coqide-dbgsym_8.18.0+dfsg-1build2_arm64.ddeb
2024-04-01 02:39
787K
coq-dbgsym_8.4pl4dfsg-3build2_i386.ddeb
2016-04-23 01:17
771K
coqide-dbgsym_8.18.0+dfsg-1build2_riscv64.ddeb
2024-04-01 02:45
736K
coqide-dbgsym_8.19.1+dfsg-3build3_riscv64.ddeb
2024-09-10 05:05
732K
coqide-dbgsym_8.18.0+dfsg-1build2_armhf.ddeb
2024-04-01 02:45
721K
coqide-dbgsym_8.19.1+dfsg-3build3_ppc64el.ddeb
2024-09-10 05:06
710K
coqide-dbgsym_8.18.0+dfsg-1build2_ppc64el.ddeb
2024-03-31 21:43
707K
coqide-dbgsym_8.15.0+dfsg-2_amd64.ddeb
2022-07-07 03:18
682K
coqide-dbgsym_8.20.0+dfsg-1_arm64.ddeb
2024-11-20 22:22
673K
coqide-dbgsym_8.20.0+dfsg-1_amd64.ddeb
2024-11-20 22:25
669K
coqide-dbgsym_8.15.0+dfsg-2_arm64.ddeb
2022-07-07 11:50
644K
libcoq-ocaml-dbgsym_8.11.0-1_amd64.ddeb
2020-03-06 12:52
637K
coqide-dbgsym_8.15.0+dfsg-2_ppc64el.ddeb
2022-07-08 12:00
599K
coqide-dbgsym_8.20.0+dfsg-1_riscv64.ddeb
2024-11-21 07:33
590K
coqide-dbgsym_8.15.0+dfsg-2_armhf.ddeb
2022-07-08 01:14
588K
libcoq-ocaml-dbgsym_8.11.0-1_arm64.ddeb
2020-03-06 12:50
575K
coqide-dbgsym_8.20.0+dfsg-1_ppc64el.ddeb
2024-11-20 22:24
568K
coqide-dbgsym_8.18.0+dfsg-1build2_s390x.ddeb
2024-03-31 20:43
562K
coqide-dbgsym_8.15.0+dfsg-2_s390x.ddeb
2022-07-09 12:51
562K
coqide-dbgsym_8.19.1+dfsg-3build3_s390x.ddeb
2024-09-10 05:05
554K
coqide-dbgsym_8.11.0-1_arm64.ddeb
2020-03-06 12:50
538K
coqide-dbgsym_8.11.0-1_amd64.ddeb
2020-03-06 12:51
522K
libcoq-ocaml-dbgsym_8.11.0-1_ppc64el.ddeb
2020-03-11 12:46
497K
coqide-dbgsym_8.11.0-1_ppc64el.ddeb
2020-03-11 12:46
468K
coqide-dbgsym_8.6-5build1_amd64.ddeb
2017-10-28 16:50
447K
coqide-dbgsym_8.6-5build1_i386.ddeb
2017-10-28 16:50
426K
coqide-dbgsym_8.20.0+dfsg-1_s390x.ddeb
2024-11-20 22:24
415K
libcoq-ocaml-dbgsym_8.6-5build1_amd64.ddeb
2017-10-28 16:50
363K
libcoq-ocaml-dbgsym_8.6-5build1_i386.ddeb
2017-10-28 16:50
354K
coqide-dbgsym_8.4pl4dfsg-3build2_armhf.ddeb
2016-04-23 03:15
267K
coqide-dbgsym_8.4pl4dfsg-3build2_arm64.ddeb
2016-04-23 04:39
260K
coqide-dbgsym_8.4pl4dfsg-3build2_amd64.ddeb
2016-04-23 06:45
260K
coqide-dbgsym_8.4pl4dfsg-3build2_i386.ddeb
2016-04-23 01:17
243K
coqide-dbgsym_8.4pl4dfsg-3build2_powerpc.ddeb
2016-04-22 13:25
232K
libcoq-ocaml-dev-dbgsym_8.6-5build1_amd64.ddeb
2017-10-28 16:50
111K
libcoq-ocaml-dev-dbgsym_8.6-5build1_i386.ddeb
2017-10-28 16:50
108K
libcoq-ocaml-dev-dbgsym_8.4pl4dfsg-3build2_armhf.ddeb
2016-04-23 03:15
107K
libcoq-ocaml-dev-dbgsym_8.4pl4dfsg-3build2_arm64.ddeb
2016-04-23 04:39
107K
libcoq-ocaml-dev-dbgsym_8.4pl4dfsg-3build2_amd64.ddeb
2016-04-23 06:45
106K
libcoq-ocaml-dev-dbgsym_8.4pl4dfsg-3build2_i386.ddeb
2016-04-23 01:17
99K
Apache/2.4.29 (Ubuntu) Server at ddebs.ubuntu.com Port 80