Parent Directory/
|
|
- |
coq-theories_8.12.0-3+b3_amd64.deb
|
2020-11-25 07:28
|
34.8M
|
coq-theories_8.12.0-3+b3_arm64.deb
|
2020-11-25 07:58
|
22.8M
|
coq-theories_8.12.0-3+b3_armhf.deb
|
2020-11-25 07:43
|
22.8M
|
coq-theories_8.12.0-3+b3_i386.deb
|
2020-11-25 07:18
|
33.6M
|
coq-theories_8.9.0-1_amd64.deb
|
2019-02-06 18:49
|
28.4M
|
coq-theories_8.9.0-1_arm64.deb
|
2019-02-06 20:26
|
19.4M
|
coq-theories_8.9.0-1_armhf.deb
|
2019-02-07 21:15
|
19.4M
|
coq-theories_8.9.0-1_i386.deb
|
2019-02-06 20:21
|
27.1M
|
coq_8.12.0-3+b3_amd64.deb
|
2020-11-25 07:28
|
86.3M
|
coq_8.12.0-3+b3_arm64.deb
|
2020-11-25 07:58
|
91.6M
|
coq_8.12.0-3+b3_armhf.deb
|
2020-11-25 07:43
|
84.3M
|
coq_8.12.0-3+b3_i386.deb
|
2020-11-25 07:18
|
83.8M
|
coq_8.12.0-3.debian.tar.xz
|
2020-09-10 06:38
|
36.9K
|
coq_8.12.0-3.dsc
|
2020-09-10 06:38
|
2.4K
|
coq_8.12.0.orig.tar.gz
|
2020-08-22 09:26
|
5.7M
|
coq_8.16.1+dfsg-1+b2_amd64.deb
|
2023-02-13 01:14
|
88.9M
|
coq_8.16.1+dfsg-1+b2_arm64.deb
|
2023-02-13 01:55
|
97.4M
|
coq_8.16.1+dfsg-1+b2_armhf.deb
|
2023-02-13 01:55
|
85.7M
|
coq_8.16.1+dfsg-1+b2_i386.deb
|
2023-02-13 01:29
|
83.5M
|
coq_8.16.1+dfsg-1.debian.tar.xz
|
2022-11-29 08:35
|
32.5K
|
coq_8.16.1+dfsg-1.dsc
|
2022-11-29 08:35
|
2.6K
|
coq_8.16.1+dfsg.orig.tar.xz
|
2022-11-29 08:35
|
4.5M
|
coq_8.18.0+dfsg-1.debian.tar.xz
|
2023-12-21 13:58
|
32.4K
|
coq_8.18.0+dfsg-1.dsc
|
2023-12-21 13:58
|
2.5K
|
coq_8.18.0+dfsg-1_amd64.deb
|
2023-12-21 17:16
|
77.9M
|
coq_8.18.0+dfsg-1_arm64.deb
|
2023-12-21 15:19
|
84.0M
|
coq_8.18.0+dfsg-1_armhf.deb
|
2023-12-21 15:24
|
74.8M
|
coq_8.18.0+dfsg-1_i386.deb
|
2023-12-21 18:21
|
73.6M
|
coq_8.18.0+dfsg.orig.tar.xz
|
2023-12-21 13:58
|
4.6M
|
coq_8.19.1+dfsg-1.debian.tar.xz
|
2024-04-26 13:46
|
32.1K
|
coq_8.19.1+dfsg-1.dsc
|
2024-04-26 13:46
|
2.5K
|
coq_8.19.1+dfsg-1_amd64.deb
|
2024-04-26 14:22
|
78.3M
|
coq_8.19.1+dfsg-1_arm64.deb
|
2024-04-26 14:22
|
84.8M
|
coq_8.19.1+dfsg-1_armhf.deb
|
2024-04-26 14:56
|
75.2M
|
coq_8.19.1+dfsg-1_i386.deb
|
2024-04-26 14:17
|
74.1M
|
coq_8.19.1+dfsg.orig.tar.bz2
|
2024-04-26 13:46
|
5.3M
|
coq_8.9.0-1.debian.tar.xz
|
2019-02-06 18:49
|
27.2K
|
coq_8.9.0-1.dsc
|
2019-02-06 18:49
|
2.4K
|
coq_8.9.0-1_amd64.deb
|
2019-02-06 18:49
|
56.3M
|
coq_8.9.0-1_arm64.deb
|
2019-02-06 20:26
|
60.4M
|
coq_8.9.0-1_armhf.deb
|
2019-02-07 21:15
|
54.7M
|
coq_8.9.0-1_i386.deb
|
2019-02-06 20:21
|
53.6M
|
coq_8.9.0.orig.tar.gz
|
2019-02-06 18:49
|
5.1M
|
coqide_8.12.0-3+b3_amd64.deb
|
2020-11-25 07:28
|
1.8M
|
coqide_8.12.0-3+b3_arm64.deb
|
2020-11-25 07:58
|
2.1M
|
coqide_8.12.0-3+b3_armhf.deb
|
2020-11-25 07:43
|
1.7M
|
coqide_8.12.0-3+b3_i386.deb
|
2020-11-25 07:18
|
1.6M
|
coqide_8.16.1+dfsg-1+b2_amd64.deb
|
2023-02-13 01:14
|
1.9M
|
coqide_8.16.1+dfsg-1+b2_arm64.deb
|
2023-02-13 01:55
|
2.2M
|
coqide_8.16.1+dfsg-1+b2_armhf.deb
|
2023-02-13 01:55
|
1.7M
|
coqide_8.16.1+dfsg-1+b2_i386.deb
|
2023-02-13 01:29
|
1.7M
|
coqide_8.18.0+dfsg-1_amd64.deb
|
2023-12-21 17:16
|
1.9M
|
coqide_8.18.0+dfsg-1_arm64.deb
|
2023-12-21 15:19
|
2.2M
|
coqide_8.18.0+dfsg-1_armhf.deb
|
2023-12-21 15:24
|
1.8M
|
coqide_8.18.0+dfsg-1_i386.deb
|
2023-12-21 18:21
|
1.7M
|
coqide_8.19.1+dfsg-1_amd64.deb
|
2024-04-26 14:22
|
1.9M
|
coqide_8.19.1+dfsg-1_arm64.deb
|
2024-04-26 14:22
|
2.2M
|
coqide_8.19.1+dfsg-1_armhf.deb
|
2024-04-26 14:56
|
1.8M
|
coqide_8.19.1+dfsg-1_i386.deb
|
2024-04-26 14:17
|
1.7M
|
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb
|
2023-02-13 01:14
|
40.7M
|
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb
|
2023-02-13 01:55
|
40.8M
|
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb
|
2023-02-13 01:55
|
41.1M
|
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb
|
2023-02-13 01:29
|
40.5M
|
libcoq-core-ocaml-dev_8.18.0+dfsg-1_amd64.deb
|
2023-12-21 17:16
|
42.4M
|
libcoq-core-ocaml-dev_8.18.0+dfsg-1_arm64.deb
|
2023-12-21 15:19
|
42.5M
|
libcoq-core-ocaml-dev_8.18.0+dfsg-1_armhf.deb
|
2023-12-21 15:24
|
42.7M
|
libcoq-core-ocaml-dev_8.18.0+dfsg-1_i386.deb
|
2023-12-21 18:21
|
42.1M
|
libcoq-core-ocaml-dev_8.19.1+dfsg-1_amd64.deb
|
2024-04-26 14:22
|
43.1M
|
libcoq-core-ocaml-dev_8.19.1+dfsg-1_arm64.deb
|
2024-04-26 14:22
|
43.2M
|
libcoq-core-ocaml-dev_8.19.1+dfsg-1_armhf.deb
|
2024-04-26 14:56
|
43.5M
|
libcoq-core-ocaml-dev_8.19.1+dfsg-1_i386.deb
|
2024-04-26 14:17
|
42.9M
|
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb
|
2023-02-13 01:14
|
21.5M
|
libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb
|
2023-02-13 01:55
|
22.0M
|
libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb
|
2023-02-13 01:55
|
21.2M
|
libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb
|
2023-02-13 01:29
|
20.7M
|
libcoq-core-ocaml_8.18.0+dfsg-1_amd64.deb
|
2023-12-21 17:16
|
22.1M
|
libcoq-core-ocaml_8.18.0+dfsg-1_arm64.deb
|
2023-12-21 15:19
|
22.7M
|
libcoq-core-ocaml_8.18.0+dfsg-1_armhf.deb
|
2023-12-21 15:24
|
21.9M
|
libcoq-core-ocaml_8.18.0+dfsg-1_i386.deb
|
2023-12-21 18:21
|
21.4M
|
libcoq-core-ocaml_8.19.1+dfsg-1_amd64.deb
|
2024-04-26 14:22
|
22.3M
|
libcoq-core-ocaml_8.19.1+dfsg-1_arm64.deb
|
2024-04-26 14:22
|
22.9M
|
libcoq-core-ocaml_8.19.1+dfsg-1_armhf.deb
|
2024-04-26 14:56
|
22.1M
|
libcoq-core-ocaml_8.19.1+dfsg-1_i386.deb
|
2024-04-26 14:17
|
21.6M
|
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb
|
2020-11-25 07:28
|
17.9M
|
libcoq-ocaml-dev_8.12.0-3+b3_arm64.deb
|
2020-11-25 07:58
|
17.9M
|
libcoq-ocaml-dev_8.12.0-3+b3_armhf.deb
|
2020-11-25 07:43
|
18.3M
|
libcoq-ocaml-dev_8.12.0-3+b3_i386.deb
|
2020-11-25 07:18
|
17.8M
|
libcoq-ocaml-dev_8.9.0-1_amd64.deb
|
2019-02-06 18:49
|
13.1M
|
libcoq-ocaml-dev_8.9.0-1_arm64.deb
|
2019-02-06 20:26
|
13.4M
|
libcoq-ocaml-dev_8.9.0-1_armhf.deb
|
2019-02-07 21:15
|
13.7M
|
libcoq-ocaml-dev_8.9.0-1_i386.deb
|
2019-02-06 20:21
|
13.1M
|
libcoq-ocaml_8.12.0-3+b3_amd64.deb
|
2020-11-25 07:28
|
7.4M
|
libcoq-ocaml_8.12.0-3+b3_arm64.deb
|
2020-11-25 07:58
|
7.6M
|
libcoq-ocaml_8.12.0-3+b3_armhf.deb
|
2020-11-25 07:43
|
7.4M
|
libcoq-ocaml_8.12.0-3+b3_i386.deb
|
2020-11-25 07:18
|
7.2M
|
libcoq-ocaml_8.9.0-1_amd64.deb
|
2019-02-06 18:49
|
5.2M
|
libcoq-ocaml_8.9.0-1_arm64.deb
|
2019-02-06 20:26
|
5.5M
|
libcoq-ocaml_8.9.0-1_armhf.deb
|
2019-02-07 21:15
|
5.1M
|
libcoq-ocaml_8.9.0-1_i386.deb
|
2019-02-06 20:21
|
4.9M
|
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb
|
2023-02-13 01:14
|
20.5M
|
libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb
|
2023-02-13 01:55
|
20.5M
|
libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb
|
2023-02-13 01:55
|
20.5M
|
libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb
|
2023-02-13 01:29
|
20.5M
|
libcoq-stdlib_8.18.0+dfsg-1_amd64.deb
|
2023-12-21 17:16
|
22.2M
|
libcoq-stdlib_8.18.0+dfsg-1_arm64.deb
|
2023-12-21 15:19
|
22.2M
|
libcoq-stdlib_8.18.0+dfsg-1_armhf.deb
|
2023-12-21 15:24
|
22.2M
|
libcoq-stdlib_8.18.0+dfsg-1_i386.deb
|
2023-12-21 18:21
|
22.2M
|
libcoq-stdlib_8.19.1+dfsg-1_amd64.deb
|
2024-04-26 14:22
|
22.6M
|
libcoq-stdlib_8.19.1+dfsg-1_arm64.deb
|
2024-04-26 14:22
|
22.6M
|
libcoq-stdlib_8.19.1+dfsg-1_armhf.deb
|
2024-04-26 14:56
|
22.6M
|
libcoq-stdlib_8.19.1+dfsg-1_i386.deb
|
2024-04-26 14:17
|
22.6M
|