Index of /pool/universe/c/coq
Name
Last modified
Size
Description
Parent Directory
-
coqide-dbgsym_8.4pl4dfsg-3build2_powerpc.ddeb
2016-04-22 13:25
232K
libcoq-ocaml-dev-dbgsym_8.4pl4dfsg-3build2_i386.ddeb
2016-04-23 01:17
99K
coqide-dbgsym_8.4pl4dfsg-3build2_i386.ddeb
2016-04-23 01:17
243K
coq-dbgsym_8.4pl4dfsg-3build2_i386.ddeb
2016-04-23 01:17
771K
libcoq-ocaml-dev-dbgsym_8.4pl4dfsg-3build2_armhf.ddeb
2016-04-23 03:15
107K
coqide-dbgsym_8.4pl4dfsg-3build2_armhf.ddeb
2016-04-23 03:15
267K
coq-dbgsym_8.4pl4dfsg-3build2_armhf.ddeb
2016-04-23 03:15
866K
libcoq-ocaml-dev-dbgsym_8.4pl4dfsg-3build2_arm64.ddeb
2016-04-23 04:39
107K
coqide-dbgsym_8.4pl4dfsg-3build2_arm64.ddeb
2016-04-23 04:39
260K
coq-dbgsym_8.4pl4dfsg-3build2_arm64.ddeb
2016-04-23 04:39
836K
libcoq-ocaml-dev-dbgsym_8.4pl4dfsg-3build2_amd64.ddeb
2016-04-23 06:45
106K
coqide-dbgsym_8.4pl4dfsg-3build2_amd64.ddeb
2016-04-23 06:45
260K
coq-dbgsym_8.4pl4dfsg-3build2_amd64.ddeb
2016-04-23 06:45
823K
coq-theories-dbgsym_8.6-5build1_amd64.ddeb
2017-10-28 16:50
830K
coqide-dbgsym_8.6-5build1_amd64.ddeb
2017-10-28 16:50
447K
coq-dbgsym_8.6-5build1_amd64.ddeb
2017-10-28 16:50
1.8M
libcoq-ocaml-dev-dbgsym_8.6-5build1_amd64.ddeb
2017-10-28 16:50
111K
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
coq-dbgsym_8.6-5build1_i386.ddeb
2017-10-28 16:50
1.8M
coqide-dbgsym_8.6-5build1_i386.ddeb
2017-10-28 16:50
426K
coq-theories-dbgsym_8.6-5build1_i386.ddeb
2017-10-28 16:50
802K
libcoq-ocaml-dev-dbgsym_8.6-5build1_i386.ddeb
2017-10-28 16:50
108K
coqide-dbgsym_8.11.0-1_arm64.ddeb
2020-03-06 12:50
538K
coq-dbgsym_8.11.0-1_arm64.ddeb
2020-03-06 12:50
5.9M
libcoq-ocaml-dbgsym_8.11.0-1_arm64.ddeb
2020-03-06 12:50
575K
coqide-dbgsym_8.11.0-1_amd64.ddeb
2020-03-06 12:51
522K
coq-theories-dbgsym_8.11.0-1_amd64.ddeb
2020-03-06 12:52
849K
libcoq-ocaml-dbgsym_8.11.0-1_amd64.ddeb
2020-03-06 12:52
637K
coq-dbgsym_8.11.0-1_amd64.ddeb
2020-03-06 12:52
6.9M
coq-dbgsym_8.11.0-1_ppc64el.ddeb
2020-03-11 12:46
5.4M
coqide-dbgsym_8.11.0-1_ppc64el.ddeb
2020-03-11 12:46
468K
libcoq-ocaml-dbgsym_8.11.0-1_ppc64el.ddeb
2020-03-11 12:46
497K
coqide-dbgsym_8.15.0+dfsg-2_amd64.ddeb
2022-07-07 03:18
682K
coq-dbgsym_8.15.0+dfsg-2_amd64.ddeb
2022-07-07 03:18
9.9M
libcoq-core-ocaml-dbgsym_8.15.0+dfsg-2_amd64.ddeb
2022-07-07 03:18
1.8M
coq-dbgsym_8.15.0+dfsg-2_arm64.ddeb
2022-07-07 11:50
8.1M
coqide-dbgsym_8.15.0+dfsg-2_arm64.ddeb
2022-07-07 11:50
644K
libcoq-core-ocaml-dbgsym_8.15.0+dfsg-2_arm64.ddeb
2022-07-07 11:50
1.5M
coq-dbgsym_8.15.0+dfsg-2_armhf.ddeb
2022-07-08 01:14
7.6M
libcoq-core-ocaml-dbgsym_8.15.0+dfsg-2_armhf.ddeb
2022-07-08 01:14
1.5M
coqide-dbgsym_8.15.0+dfsg-2_armhf.ddeb
2022-07-08 01:14
588K
libcoq-core-ocaml-dbgsym_8.15.0+dfsg-2_ppc64el.ddeb
2022-07-08 12:00
1.3M
coqide-dbgsym_8.15.0+dfsg-2_ppc64el.ddeb
2022-07-08 12:00
599K
coq-dbgsym_8.15.0+dfsg-2_ppc64el.ddeb
2022-07-08 12:00
6.5M
libcoq-core-ocaml-dbgsym_8.15.0+dfsg-2_s390x.ddeb
2022-07-09 12:51
1.3M
coqide-dbgsym_8.15.0+dfsg-2_s390x.ddeb
2022-07-09 12:51
562K
coq-dbgsym_8.15.0+dfsg-2_s390x.ddeb
2022-07-09 12:51
6.6M
coq-dbgsym_8.17.0+dfsg-1build1_ppc64el.ddeb
2023-07-24 17:39
8.5M
coqide-dbgsym_8.17.0+dfsg-1build1_ppc64el.ddeb
2023-07-24 17:39
697K
libcoq-core-ocaml-dbgsym_8.17.0+dfsg-1build1_ppc64el.ddeb
2023-07-24 17:39
1.7M
coqide-dbgsym_8.17.0+dfsg-1build1_amd64.ddeb
2023-07-24 17:39
798K
libcoq-core-ocaml-dbgsym_8.17.0+dfsg-1build1_amd64.ddeb
2023-07-24 17:39
2.2M
coq-dbgsym_8.17.0+dfsg-1build1_amd64.ddeb
2023-07-24 17:39
12M
coq-dbgsym_8.17.0+dfsg-1build1_armhf.ddeb
2023-07-24 19:37
9.5M
libcoq-core-ocaml-dbgsym_8.17.0+dfsg-1build1_armhf.ddeb
2023-07-24 19:37
1.9M
coqide-dbgsym_8.17.0+dfsg-1build1_armhf.ddeb
2023-07-24 19:37
714K
libcoq-core-ocaml-dbgsym_8.17.0+dfsg-1build1_arm64.ddeb
2023-07-24 19:37
1.9M
coqide-dbgsym_8.17.0+dfsg-1build1_arm64.ddeb
2023-07-24 19:37
775K
coq-dbgsym_8.17.0+dfsg-1build1_arm64.ddeb
2023-07-24 19:37
11M
coqide-dbgsym_8.17.0+dfsg-1build1_s390x.ddeb
2023-07-24 19:37
554K
libcoq-core-ocaml-dbgsym_8.17.0+dfsg-1build1_s390x.ddeb
2023-07-24 19:37
1.3M
coq-dbgsym_8.17.0+dfsg-1build1_s390x.ddeb
2023-07-24 19:37
6.5M
coqide-dbgsym_8.17.0+dfsg-1build1_riscv64.ddeb
2023-07-24 23:38
728K
libcoq-core-ocaml-dbgsym_8.17.0+dfsg-1build1_riscv64.ddeb
2023-07-24 23:38
1.8M
coq-dbgsym_8.17.0+dfsg-1build1_riscv64.ddeb
2023-07-24 23:38
9.3M
libcoq-core-ocaml-dbgsym_8.18.0+dfsg-1build2_amd64.ddeb
2024-03-31 19:41
2.3M
coqide-dbgsym_8.18.0+dfsg-1build2_amd64.ddeb
2024-03-31 19:41
816K
coq-dbgsym_8.18.0+dfsg-1build2_amd64.ddeb
2024-03-31 19:41
11M
libcoq-core-ocaml-dbgsym_8.18.0+dfsg-1build2_s390x.ddeb
2024-03-31 20:43
1.3M
coqide-dbgsym_8.18.0+dfsg-1build2_s390x.ddeb
2024-03-31 20:43
562K
coq-dbgsym_8.18.0+dfsg-1build2_s390x.ddeb
2024-03-31 20:43
6.9M
libcoq-core-ocaml-dbgsym_8.18.0+dfsg-1build2_ppc64el.ddeb
2024-03-31 21:43
1.8M
coqide-dbgsym_8.18.0+dfsg-1build2_ppc64el.ddeb
2024-03-31 21:43
707K
coq-dbgsym_8.18.0+dfsg-1build2_ppc64el.ddeb
2024-03-31 21:43
8.4M
libcoq-core-ocaml-dbgsym_8.18.0+dfsg-1build2_arm64.ddeb
2024-04-01 02:39
2.0M
coqide-dbgsym_8.18.0+dfsg-1build2_arm64.ddeb
2024-04-01 02:39
787K
coq-dbgsym_8.18.0+dfsg-1build2_arm64.ddeb
2024-04-01 02:39
11M
libcoq-core-ocaml-dbgsym_8.18.0+dfsg-1build2_riscv64.ddeb
2024-04-01 02:45
1.9M
coqide-dbgsym_8.18.0+dfsg-1build2_riscv64.ddeb
2024-04-01 02:45
736K
coq-dbgsym_8.18.0+dfsg-1build2_riscv64.ddeb
2024-04-01 02:45
9.2M
libcoq-core-ocaml-dbgsym_8.18.0+dfsg-1build2_armhf.ddeb
2024-04-01 02:45
2.0M
coqide-dbgsym_8.18.0+dfsg-1build2_armhf.ddeb
2024-04-01 02:45
721K
coq-dbgsym_8.18.0+dfsg-1build2_armhf.ddeb
2024-04-01 02:45
8.9M
libcoq-core-ocaml-dbgsym_8.19.1+dfsg-1_arm64.ddeb
2024-05-02 12:37
2.0M
coqide-dbgsym_8.19.1+dfsg-1_arm64.ddeb
2024-05-02 12:37
794K
coq-dbgsym_8.19.1+dfsg-1_arm64.ddeb
2024-05-02 12:37
11M
libcoq-core-ocaml-dbgsym_8.19.1+dfsg-1_s390x.ddeb
2024-05-02 12:39
1.3M
coqide-dbgsym_8.19.1+dfsg-1_s390x.ddeb
2024-05-02 12:39
568K
coq-dbgsym_8.19.1+dfsg-1_s390x.ddeb
2024-05-02 12:40
6.8M
libcoq-core-ocaml-dbgsym_8.19.1+dfsg-1_ppc64el.ddeb
2024-05-02 12:41
1.8M
coqide-dbgsym_8.19.1+dfsg-1_ppc64el.ddeb
2024-05-02 12:41
724K
coq-dbgsym_8.19.1+dfsg-1_ppc64el.ddeb
2024-05-02 12:41
8.6M
libcoq-core-ocaml-dbgsym_8.19.1+dfsg-1_amd64.ddeb
2024-05-02 12:41
2.3M
coqide-dbgsym_8.19.1+dfsg-1_amd64.ddeb
2024-05-02 12:41
815K
coq-dbgsym_8.19.1+dfsg-1_amd64.ddeb
2024-05-02 12:41
12M
libcoq-core-ocaml-dbgsym_8.19.1+dfsg-1_riscv64.ddeb
2024-05-02 15:41
2.0M
coqide-dbgsym_8.19.1+dfsg-1_riscv64.ddeb
2024-05-02 15:41
748K
coq-dbgsym_8.19.1+dfsg-1_riscv64.ddeb
2024-05-02 15:41
9.6M
libcoq-core-ocaml-dbgsym_8.19.1+dfsg-1_armhf.ddeb
2024-05-09 07:43
2.0M
coqide-dbgsym_8.19.1+dfsg-1_armhf.ddeb
2024-05-09 07:43
730K
coq-dbgsym_8.19.1+dfsg-1_armhf.ddeb
2024-05-09 07:43
9.3M
Apache/2.4.29 (Ubuntu) Server at ddebs.ubuntu.com Port 80