|
📁 ../
|
- |
- |
|
📄 coq-theories_8.11.0-1_arm64.deb
|
21416488 bytes
|
2020-03-06 09:13:21 |
|
📄 coq-theories_8.11.0-1_ppc64el.deb
|
21426376 bytes
|
2020-03-11 10:53:26 |
|
📄 coq-theories_8.4pl3dfsg-1_all.deb
|
31970270 bytes
|
2014-01-19 23:58:43 |
|
📄 coq-theories_8.4pl4dfsg-3build2_all.deb
|
32236078 bytes
|
2015-11-04 14:04:33 |
|
📄 coq-theories_8.6-5build1_arm64.deb
|
22801252 bytes
|
2017-10-28 16:20:10 |
|
📄 coq-theories_8.6-5build1_armhf.deb
|
22822156 bytes
|
2017-10-28 16:20:31 |
|
📄 coq-theories_8.6-5build1_ppc64el.deb
|
22797996 bytes
|
2017-10-28 15:34:55 |
|
📄 coq-theories_8.6-5build1_s390x.deb
|
22800288 bytes
|
2017-10-28 15:34:59 |
|
📄 coq_8.11.0-1.debian.tar.xz
|
31672 bytes
|
2020-03-06 07:53:17 |
|
📄 coq_8.11.0-1.dsc
|
2496 bytes
|
2020-03-06 07:53:16 |
|
📄 coq_8.11.0-1_arm64.deb
|
83935488 bytes
|
2020-03-06 09:13:24 |
|
📄 coq_8.11.0-1_ppc64el.deb
|
78792904 bytes
|
2020-03-11 10:53:28 |
|
📄 coq_8.11.0.orig.tar.gz
|
5825620 bytes
|
2020-03-06 07:53:17 |
|
📄 coq_8.15.0+dfsg-2.debian.tar.xz
|
39672 bytes
|
2022-02-05 17:49:53 |
|
📄 coq_8.15.0+dfsg-2.dsc
|
2599 bytes
|
2022-02-05 17:49:53 |
|
📄 coq_8.15.0+dfsg-2_arm64.deb
|
106715046 bytes
|
2022-02-06 12:54:01 |
|
📄 coq_8.15.0+dfsg-2_armhf.deb
|
93249996 bytes
|
2022-02-05 23:53:12 |
|
📄 coq_8.15.0+dfsg-2_ppc64el.deb
|
98289318 bytes
|
2022-02-05 23:53:22 |
|
📄 coq_8.15.0+dfsg-2_riscv64.deb
|
94940012 bytes
|
2022-02-05 23:53:34 |
|
📄 coq_8.15.0+dfsg-2_s390x.deb
|
97190652 bytes
|
2022-02-05 23:53:50 |
|
📄 coq_8.15.0+dfsg.orig.tar.xz
|
4669948 bytes
|
2022-01-17 23:14:25 |
|
📄 coq_8.18.0+dfsg-1build2.debian.tar.xz
|
33336 bytes
|
2024-03-31 18:36:47 |
|
📄 coq_8.18.0+dfsg-1build2.dsc
|
2685 bytes
|
2024-03-31 18:36:47 |
|
📄 coq_8.18.0+dfsg-1build2_arm64.deb
|
106631086 bytes
|
2024-04-01 01:55:44 |
|
📄 coq_8.18.0+dfsg-1build2_armhf.deb
|
93685498 bytes
|
2024-04-01 01:55:48 |
|
📄 coq_8.18.0+dfsg-1build2_ppc64el.deb
|
98558214 bytes
|
2024-03-31 21:34:35 |
|
📄 coq_8.18.0+dfsg-1build2_riscv64.deb
|
97988806 bytes
|
2024-04-01 01:56:34 |
|
📄 coq_8.18.0+dfsg-1build2_s390x.deb
|
97471172 bytes
|
2024-03-31 20:38:30 |
|
📄 coq_8.18.0+dfsg.orig.tar.xz
|
4868368 bytes
|
2023-12-22 19:46:56 |
|
📄 coq_8.20.1+dfsg-1.debian.tar.xz
|
30208 bytes
|
2025-02-18 01:39:14 |
|
📄 coq_8.20.1+dfsg-1.dsc
|
2582 bytes
|
2025-02-18 01:39:14 |
|
📄 coq_8.20.1+dfsg-1_arm64.deb
|
86972730 bytes
|
2025-02-18 01:40:34 |
|
📄 coq_8.20.1+dfsg-1_ppc64el.deb
|
83119634 bytes
|
2025-02-18 01:41:15 |
|
📄 coq_8.20.1+dfsg-1_riscv64.deb
|
83200238 bytes
|
2025-02-18 03:45:24 |
|
📄 coq_8.20.1+dfsg-1_s390x.deb
|
82832382 bytes
|
2025-02-18 06:00:46 |
|
📄 coq_8.20.1+dfsg-1build1.debian.tar.xz
|
30272 bytes
|
2025-06-19 11:23:39 |
|
📄 coq_8.20.1+dfsg-1build1.dsc
|
2569 bytes
|
2025-06-19 11:23:39 |
|
📄 coq_8.20.1+dfsg-1build1_arm64.deb
|
86943962 bytes
|
2025-06-19 23:39:33 |
|
📄 coq_8.20.1+dfsg-1build1_ppc64el.deb
|
83080752 bytes
|
2025-06-19 23:39:39 |
|
📄 coq_8.20.1+dfsg-1build1_riscv64.deb
|
83174504 bytes
|
2025-06-20 04:02:03 |
|
📄 coq_8.20.1+dfsg-1build1_s390x.deb
|
82789672 bytes
|
2025-06-19 23:39:53 |
|
📄 coq_8.20.1+dfsg.orig.tar.xz
|
5014988 bytes
|
2025-02-18 01:39:14 |
|
📄 coq_8.4pl3dfsg-1.debian.tar.xz
|
15800 bytes
|
2014-01-19 23:18:52 |
|
📄 coq_8.4pl3dfsg-1.dsc
|
2356 bytes
|
2014-01-19 23:18:53 |
|
📄 coq_8.4pl3dfsg-1_arm64.deb
|
1108992 bytes
|
2014-01-20 03:43:22 |
|
📄 coq_8.4pl3dfsg-1_armhf.deb
|
3894262 bytes
|
2014-01-20 01:03:21 |
|
📄 coq_8.4pl3dfsg-1_powerpc.deb
|
3585438 bytes
|
2014-01-20 00:23:30 |
|
📄 coq_8.4pl3dfsg-1_ppc64el.deb
|
1107166 bytes
|
2014-02-18 02:43:40 |
|
📄 coq_8.4pl3dfsg.orig.tar.gz
|
3521338 bytes
|
2014-01-19 23:18:53 |
|
📄 coq_8.4pl4dfsg-3build2.debian.tar.xz
|
16144 bytes
|
2015-11-04 13:14:21 |
|
📄 coq_8.4pl4dfsg-3build2.dsc
|
2398 bytes
|
2015-11-04 13:14:21 |
|
📄 coq_8.4pl4dfsg-3build2_arm64.deb
|
3897182 bytes
|
2015-11-04 14:29:38 |
|
📄 coq_8.4pl4dfsg-3build2_armhf.deb
|
3808808 bytes
|
2015-11-04 14:55:04 |
|
📄 coq_8.4pl4dfsg-3build2_powerpc.deb
|
3421114 bytes
|
2015-11-04 13:39:46 |
|
📄 coq_8.4pl4dfsg-3build2_ppc64el.deb
|
1040390 bytes
|
2015-11-04 14:55:44 |
|
📄 coq_8.4pl4dfsg-3build2_s390x.deb
|
1041604 bytes
|
2016-01-05 16:35:27 |
|
📄 coq_8.4pl4dfsg.orig.tar.gz
|
3527076 bytes
|
2014-07-27 23:13:17 |
|
📄 coq_8.6-5build1.debian.tar.xz
|
21864 bytes
|
2017-10-28 14:39:28 |
|
📄 coq_8.6-5build1.dsc
|
2403 bytes
|
2017-10-28 14:39:28 |
|
📄 coq_8.6-5build1_arm64.deb
|
18867112 bytes
|
2017-10-28 16:20:11 |
|
📄 coq_8.6-5build1_armhf.deb
|
16999728 bytes
|
2017-10-28 16:20:30 |
|
📄 coq_8.6-5build1_ppc64el.deb
|
18204248 bytes
|
2017-10-28 15:34:54 |
|
📄 coq_8.6-5build1_s390x.deb
|
17929824 bytes
|
2017-10-28 15:35:00 |
|
📄 coq_8.6.orig.tar.gz
|
5008604 bytes
|
2016-12-28 17:13:41 |
|
📄 coqide_8.11.0-1_arm64.deb
|
2113388 bytes
|
2020-03-06 09:13:24 |
|
📄 coqide_8.11.0-1_ppc64el.deb
|
1905696 bytes
|
2020-03-11 10:53:25 |
|
📄 coqide_8.15.0+dfsg-2_arm64.deb
|
2877382 bytes
|
2022-02-06 12:54:00 |
|
📄 coqide_8.15.0+dfsg-2_armhf.deb
|
2183944 bytes
|
2022-02-05 23:53:12 |
|
📄 coqide_8.15.0+dfsg-2_ppc64el.deb
|
2545128 bytes
|
2022-02-05 23:53:22 |
|
📄 coqide_8.15.0+dfsg-2_riscv64.deb
|
2307134 bytes
|
2022-02-05 23:53:32 |
|
📄 coqide_8.15.0+dfsg-2_s390x.deb
|
2404922 bytes
|
2022-02-05 23:53:50 |
|
📄 coqide_8.18.0+dfsg-1build2_arm64.deb
|
2820174 bytes
|
2024-04-01 01:55:43 |
|
📄 coqide_8.18.0+dfsg-1build2_armhf.deb
|
2177524 bytes
|
2024-04-01 01:55:48 |
|
📄 coqide_8.18.0+dfsg-1build2_ppc64el.deb
|
2512952 bytes
|
2024-03-31 21:34:35 |
|
📄 coqide_8.18.0+dfsg-1build2_riscv64.deb
|
2428874 bytes
|
2024-04-01 01:56:33 |
|
📄 coqide_8.18.0+dfsg-1build2_s390x.deb
|
2424542 bytes
|
2024-03-31 20:38:29 |
|
📄 coqide_8.20.1+dfsg-1_arm64.deb
|
2634098 bytes
|
2025-02-18 01:40:32 |
|
📄 coqide_8.20.1+dfsg-1_ppc64el.deb
|
2323864 bytes
|
2025-02-18 01:41:13 |
|
📄 coqide_8.20.1+dfsg-1_riscv64.deb
|
2339190 bytes
|
2025-02-18 03:45:21 |
|
📄 coqide_8.20.1+dfsg-1_s390x.deb
|
2328180 bytes
|
2025-02-18 06:00:44 |
|
📄 coqide_8.20.1+dfsg-1build1_arm64.deb
|
2640956 bytes
|
2025-06-19 23:39:32 |
|
📄 coqide_8.20.1+dfsg-1build1_ppc64el.deb
|
2343924 bytes
|
2025-06-19 23:39:39 |
|
📄 coqide_8.20.1+dfsg-1build1_riscv64.deb
|
2344912 bytes
|
2025-06-20 04:02:02 |
|
📄 coqide_8.20.1+dfsg-1build1_s390x.deb
|
2315782 bytes
|
2025-06-19 23:39:53 |
|
📄 coqide_8.4pl3dfsg-1_arm64.deb
|
203096 bytes
|
2014-01-20 03:43:22 |
|
📄 coqide_8.4pl3dfsg-1_armhf.deb
|
775756 bytes
|
2014-01-20 01:03:21 |
|
📄 coqide_8.4pl3dfsg-1_powerpc.deb
|
642222 bytes
|
2014-01-20 00:23:30 |
|
📄 coqide_8.4pl3dfsg-1_ppc64el.deb
|
203016 bytes
|
2014-02-18 02:43:40 |
|
📄 coqide_8.4pl4dfsg-3build2_arm64.deb
|
771968 bytes
|
2015-11-04 14:29:38 |
|
📄 coqide_8.4pl4dfsg-3build2_armhf.deb
|
780854 bytes
|
2015-11-04 14:55:05 |
|
📄 coqide_8.4pl4dfsg-3build2_powerpc.deb
|
664326 bytes
|
2015-11-04 13:39:45 |
|
📄 coqide_8.4pl4dfsg-3build2_ppc64el.deb
|
212784 bytes
|
2015-11-04 14:55:44 |
|
📄 coqide_8.4pl4dfsg-3build2_s390x.deb
|
212832 bytes
|
2016-01-05 16:35:26 |
|
📄 coqide_8.6-5build1_arm64.deb
|
1701988 bytes
|
2017-10-28 16:20:12 |
|
📄 coqide_8.6-5build1_armhf.deb
|
1445016 bytes
|
2017-10-28 16:20:30 |
|
📄 coqide_8.6-5build1_ppc64el.deb
|
1784388 bytes
|
2017-10-28 15:34:56 |
|
📄 coqide_8.6-5build1_s390x.deb
|
1830484 bytes
|
2017-10-28 15:34:58 |
|
📄 libcoq-core-ocaml-dev_8.15.0+dfsg-2_arm64.deb
|
45581026 bytes
|
2022-02-06 12:53:58 |
|
📄 libcoq-core-ocaml-dev_8.15.0+dfsg-2_armhf.deb
|
45889474 bytes
|
2022-02-05 23:53:13 |
|
📄 libcoq-core-ocaml-dev_8.15.0+dfsg-2_ppc64el.deb
|
45702454 bytes
|
2022-02-05 23:53:23 |
|
📄 libcoq-core-ocaml-dev_8.15.0+dfsg-2_riscv64.deb
|
45556018 bytes
|
2022-02-05 23:53:33 |
|
📄 libcoq-core-ocaml-dev_8.15.0+dfsg-2_s390x.deb
|
45477990 bytes
|
2022-02-05 23:53:45 |
|
📄 libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_arm64.deb
|
51860872 bytes
|
2024-04-01 01:55:42 |
|
📄 libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_armhf.deb
|
51976842 bytes
|
2024-04-01 01:55:47 |
|
📄 libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_ppc64el.deb
|
52820964 bytes
|
2024-03-31 21:34:34 |
|
📄 libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_riscv64.deb
|
58790512 bytes
|
2024-04-01 01:56:32 |
|
📄 libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_s390x.deb
|
50868762 bytes
|
2024-03-31 20:38:29 |
|
📄 libcoq-core-ocaml-dev_8.20.1+dfsg-1_arm64.deb
|
69726594 bytes
|
2025-02-18 01:40:31 |
|
📄 libcoq-core-ocaml-dev_8.20.1+dfsg-1_ppc64el.deb
|
70791468 bytes
|
2025-02-18 01:41:12 |
|
📄 libcoq-core-ocaml-dev_8.20.1+dfsg-1_riscv64.deb
|
76921208 bytes
|
2025-02-18 03:45:19 |
|
📄 libcoq-core-ocaml-dev_8.20.1+dfsg-1_s390x.deb
|
69236028 bytes
|
2025-02-18 06:00:43 |
|
📄 libcoq-core-ocaml-dev_8.20.1+dfsg-1build1_arm64.deb
|
69614450 bytes
|
2025-06-19 23:39:32 |
|
📄 libcoq-core-ocaml-dev_8.20.1+dfsg-1build1_ppc64el.deb
|
70670964 bytes
|
2025-06-19 23:39:39 |
|
📄 libcoq-core-ocaml-dev_8.20.1+dfsg-1build1_riscv64.deb
|
76762694 bytes
|
2025-06-20 04:02:01 |
|
📄 libcoq-core-ocaml-dev_8.20.1+dfsg-1build1_s390x.deb
|
69128176 bytes
|
2025-06-19 23:39:52 |
|
📄 libcoq-core-ocaml_8.15.0+dfsg-2_arm64.deb
|
28397634 bytes
|
2022-02-06 12:53:59 |
|
📄 libcoq-core-ocaml_8.15.0+dfsg-2_armhf.deb
|
26956106 bytes
|
2022-02-05 23:53:13 |
|
📄 libcoq-core-ocaml_8.15.0+dfsg-2_ppc64el.deb
|
27429114 bytes
|
2022-02-05 23:53:22 |
|
📄 libcoq-core-ocaml_8.15.0+dfsg-2_riscv64.deb
|
27035868 bytes
|
2022-02-05 23:53:33 |
|
📄 libcoq-core-ocaml_8.15.0+dfsg-2_s390x.deb
|
27515982 bytes
|
2022-02-05 23:53:43 |
|
📄 libcoq-core-ocaml_8.18.0+dfsg-1build2_arm64.deb
|
29203264 bytes
|
2024-04-01 01:55:43 |
|
📄 libcoq-core-ocaml_8.18.0+dfsg-1build2_armhf.deb
|
27547398 bytes
|
2024-04-01 01:55:48 |
|
📄 libcoq-core-ocaml_8.18.0+dfsg-1build2_ppc64el.deb
|
28040156 bytes
|
2024-03-31 21:34:35 |
|
📄 libcoq-core-ocaml_8.18.0+dfsg-1build2_riscv64.deb
|
27920574 bytes
|
2024-04-01 01:56:33 |
|
📄 libcoq-core-ocaml_8.18.0+dfsg-1build2_s390x.deb
|
28118902 bytes
|
2024-03-31 20:38:29 |
|
📄 libcoq-core-ocaml_8.20.1+dfsg-1_arm64.deb
|
28000448 bytes
|
2025-02-18 01:40:32 |
|
📄 libcoq-core-ocaml_8.20.1+dfsg-1_ppc64el.deb
|
27131310 bytes
|
2025-02-18 01:41:13 |
|
📄 libcoq-core-ocaml_8.20.1+dfsg-1_riscv64.deb
|
27184030 bytes
|
2025-02-18 03:45:21 |
|
📄 libcoq-core-ocaml_8.20.1+dfsg-1_s390x.deb
|
27307538 bytes
|
2025-02-18 06:00:44 |
|
📄 libcoq-core-ocaml_8.20.1+dfsg-1build1_arm64.deb
|
27960318 bytes
|
2025-06-19 23:39:32 |
|
📄 libcoq-core-ocaml_8.20.1+dfsg-1build1_ppc64el.deb
|
27090356 bytes
|
2025-06-19 23:39:39 |
|
📄 libcoq-core-ocaml_8.20.1+dfsg-1build1_riscv64.deb
|
27149812 bytes
|
2025-06-20 04:02:02 |
|
📄 libcoq-core-ocaml_8.20.1+dfsg-1build1_s390x.deb
|
27263978 bytes
|
2025-06-19 23:39:53 |
|
📄 libcoq-ocaml-dev_8.11.0-1_arm64.deb
|
16432568 bytes
|
2020-03-06 09:13:25 |
|
📄 libcoq-ocaml-dev_8.11.0-1_ppc64el.deb
|
16492924 bytes
|
2020-03-11 10:53:24 |
|
📄 libcoq-ocaml-dev_8.4pl3dfsg-1_arm64.deb
|
1246944 bytes
|
2014-01-20 03:43:21 |
|
📄 libcoq-ocaml-dev_8.4pl3dfsg-1_armhf.deb
|
4028574 bytes
|
2014-01-20 01:03:20 |
|
📄 libcoq-ocaml-dev_8.4pl3dfsg-1_powerpc.deb
|
3576508 bytes
|
2014-01-20 00:23:29 |
|
📄 libcoq-ocaml-dev_8.4pl3dfsg-1_ppc64el.deb
|
1246966 bytes
|
2014-02-18 02:43:40 |
|
📄 libcoq-ocaml-dev_8.4pl4dfsg-3build2_arm64.deb
|
3911576 bytes
|
2015-11-04 14:29:38 |
|
📄 libcoq-ocaml-dev_8.4pl4dfsg-3build2_armhf.deb
|
4161480 bytes
|
2015-11-04 14:55:04 |
|
📄 libcoq-ocaml-dev_8.4pl4dfsg-3build2_powerpc.deb
|
3696730 bytes
|
2015-11-04 13:39:46 |
|
📄 libcoq-ocaml-dev_8.4pl4dfsg-3build2_ppc64el.deb
|
1243160 bytes
|
2015-11-04 14:55:44 |
|
📄 libcoq-ocaml-dev_8.4pl4dfsg-3build2_s390x.deb
|
1243666 bytes
|
2016-01-05 16:35:26 |
|
📄 libcoq-ocaml-dev_8.6-5build1_arm64.deb
|
14025668 bytes
|
2017-10-28 16:20:11 |
|
📄 libcoq-ocaml-dev_8.6-5build1_armhf.deb
|
14313492 bytes
|
2017-10-28 16:20:31 |
|
📄 libcoq-ocaml-dev_8.6-5build1_ppc64el.deb
|
14088800 bytes
|
2017-10-28 15:34:53 |
|
📄 libcoq-ocaml-dev_8.6-5build1_s390x.deb
|
13843460 bytes
|
2017-10-28 15:34:59 |
|
📄 libcoq-ocaml_8.11.0-1_arm64.deb
|
6816804 bytes
|
2020-03-06 09:13:24 |
|
📄 libcoq-ocaml_8.11.0-1_ppc64el.deb
|
6500588 bytes
|
2020-03-11 10:53:25 |
|
📄 libcoq-ocaml_8.4pl3dfsg-1_arm64.deb
|
330196 bytes
|
2014-01-20 03:43:22 |
|
📄 libcoq-ocaml_8.4pl3dfsg-1_armhf.deb
|
1527672 bytes
|
2014-01-20 01:03:20 |
|
📄 libcoq-ocaml_8.4pl3dfsg-1_powerpc.deb
|
1374618 bytes
|
2014-01-20 00:23:30 |
|
📄 libcoq-ocaml_8.4pl3dfsg-1_ppc64el.deb
|
329442 bytes
|
2014-02-18 02:43:40 |
|
📄 libcoq-ocaml_8.4pl4dfsg-3build2_arm64.deb
|
1404704 bytes
|
2015-11-04 14:29:37 |
|
📄 libcoq-ocaml_8.4pl4dfsg-3build2_armhf.deb
|
1468522 bytes
|
2015-11-04 14:55:05 |
|
📄 libcoq-ocaml_8.4pl4dfsg-3build2_powerpc.deb
|
1325396 bytes
|
2015-11-04 13:39:46 |
|
📄 libcoq-ocaml_8.4pl4dfsg-3build2_ppc64el.deb
|
335590 bytes
|
2015-11-04 14:55:43 |
|
📄 libcoq-ocaml_8.4pl4dfsg-3build2_s390x.deb
|
337840 bytes
|
2016-01-05 16:35:26 |
|
📄 libcoq-ocaml_8.6-5build1_arm64.deb
|
3798220 bytes
|
2017-10-28 16:20:11 |
|
📄 libcoq-ocaml_8.6-5build1_armhf.deb
|
3498152 bytes
|
2017-10-28 16:20:30 |
|
📄 libcoq-ocaml_8.6-5build1_ppc64el.deb
|
3663196 bytes
|
2017-10-28 15:34:55 |
|
📄 libcoq-ocaml_8.6-5build1_s390x.deb
|
3624348 bytes
|
2017-10-28 15:34:58 |
|
📄 libcoq-stdlib_8.15.0+dfsg-2_arm64.deb
|
24696054 bytes
|
2022-02-06 12:54:02 |
|
📄 libcoq-stdlib_8.15.0+dfsg-2_armhf.deb
|
24699490 bytes
|
2022-02-05 23:53:11 |
|
📄 libcoq-stdlib_8.15.0+dfsg-2_ppc64el.deb
|
24695478 bytes
|
2022-02-05 23:53:24 |
|
📄 libcoq-stdlib_8.15.0+dfsg-2_riscv64.deb
|
24695144 bytes
|
2022-02-05 23:53:34 |
|
📄 libcoq-stdlib_8.15.0+dfsg-2_s390x.deb
|
24695220 bytes
|
2022-02-05 23:53:46 |
|
📄 libcoq-stdlib_8.18.0+dfsg-1build2_arm64.deb
|
26512160 bytes
|
2024-04-01 01:55:42 |
|
📄 libcoq-stdlib_8.18.0+dfsg-1build2_armhf.deb
|
26507848 bytes
|
2024-04-01 01:55:47 |
|
📄 libcoq-stdlib_8.18.0+dfsg-1build2_ppc64el.deb
|
26511944 bytes
|
2024-03-31 21:34:34 |
|
📄 libcoq-stdlib_8.18.0+dfsg-1build2_riscv64.deb
|
26508614 bytes
|
2024-04-01 01:56:31 |
|
📄 libcoq-stdlib_8.18.0+dfsg-1build2_s390x.deb
|
26511282 bytes
|
2024-03-31 20:38:28 |
|
📄 libcoq-stdlib_8.20.1+dfsg-1_arm64.deb
|
26973720 bytes
|
2025-02-18 01:40:30 |
|
📄 libcoq-stdlib_8.20.1+dfsg-1_ppc64el.deb
|
26975096 bytes
|
2025-02-18 01:41:10 |
|
📄 libcoq-stdlib_8.20.1+dfsg-1_riscv64.deb
|
26977800 bytes
|
2025-02-18 03:45:18 |
|
📄 libcoq-stdlib_8.20.1+dfsg-1_s390x.deb
|
26978724 bytes
|
2025-02-18 06:00:41 |
|
📄 libcoq-stdlib_8.20.1+dfsg-1build1_arm64.deb
|
26921824 bytes
|
2025-06-19 23:39:31 |
|
📄 libcoq-stdlib_8.20.1+dfsg-1build1_ppc64el.deb
|
26923690 bytes
|
2025-06-19 23:39:38 |
|
📄 libcoq-stdlib_8.20.1+dfsg-1build1_riscv64.deb
|
26920908 bytes
|
2025-06-20 04:02:00 |
|
📄 libcoq-stdlib_8.20.1+dfsg-1build1_s390x.deb
|
26920798 bytes
|
2025-06-19 23:39:52 |