Index of /ubuntu/ubuntu/pool/universe/c/coq-elpi
Name
Last modified
Size
Description
Parent Directory
-
coq-elpi_1.13.0-1.debian.tar.xz
2022-02-11 07:14
2.5K
coq-elpi_1.13.0-1.dsc
2022-02-11 07:14
2.0K
coq-elpi_1.13.0.orig.tar.gz
2022-02-11 07:14
352K
coq-elpi_1.14.0-5build1.debian.tar.xz
2022-07-22 00:13
3.2K
coq-elpi_1.14.0-5build1.dsc
2022-07-22 00:13
2.1K
coq-elpi_1.14.0.orig.tar.gz
2022-05-15 07:29
352K
coq-elpi_1.16.0-2build1.debian.tar.xz
2023-02-17 07:24
3.4K
coq-elpi_1.16.0-2build1.dsc
2023-02-17 07:24
2.0K
coq-elpi_1.16.0.orig.tar.gz
2022-11-21 07:50
416K
coq-elpi_1.17.1-1.debian.tar.xz
2023-06-13 13:30
3.5K
coq-elpi_1.17.1-1.dsc
2023-06-13 13:30
2.0K
coq-elpi_1.17.1-1build1.debian.tar.xz
2023-07-08 05:19
3.5K
coq-elpi_1.17.1-1build1.dsc
2023-07-08 05:19
2.0K
coq-elpi_1.17.1-1build2.debian.tar.xz
2023-07-18 14:39
3.5K
coq-elpi_1.17.1-1build2.dsc
2023-07-18 14:39
2.0K
coq-elpi_1.17.1-1build3.debian.tar.xz
2023-07-25 01:37
3.5K
coq-elpi_1.17.1-1build3.dsc
2023-07-25 01:37
2.0K
coq-elpi_1.17.1-1build4.debian.tar.xz
2023-07-26 13:19
3.6K
coq-elpi_1.17.1-1build4.dsc
2023-07-26 13:19
2.0K
coq-elpi_1.17.1-1build5.debian.tar.xz
2023-07-27 18:19
3.6K
coq-elpi_1.17.1-1build5.dsc
2023-07-27 18:19
2.0K
coq-elpi_1.17.1-1build6.debian.tar.xz
2023-07-28 11:43
3.6K
coq-elpi_1.17.1-1build6.dsc
2023-07-28 11:43
2.0K
coq-elpi_1.17.1-1build7.debian.tar.xz
2023-08-20 16:09
3.6K
coq-elpi_1.17.1-1build7.dsc
2023-08-20 16:09
2.0K
coq-elpi_1.17.1-1build8.debian.tar.xz
2023-08-28 23:19
3.6K
coq-elpi_1.17.1-1build8.dsc
2023-08-28 23:19
2.0K
coq-elpi_1.17.1-1build9.debian.tar.xz
2023-11-05 03:39
3.6K
coq-elpi_1.17.1-1build9.dsc
2023-11-05 03:39
2.0K
coq-elpi_1.17.1-1build10.debian.tar.xz
2023-11-23 08:05
3.6K
coq-elpi_1.17.1-1build10.dsc
2023-11-23 08:05
2.0K
coq-elpi_1.17.1.orig.tar.gz
2023-06-13 13:30
420K
coq-elpi_1.19.3-1.debian.tar.xz
2023-12-23 01:26
3.0K
coq-elpi_1.19.3-1.dsc
2023-12-23 01:26
2.0K
coq-elpi_1.19.3-2.debian.tar.xz
2024-01-04 02:29
3.6K
coq-elpi_1.19.3-2.dsc
2024-01-04 02:29
1.8K
coq-elpi_1.19.3-2build1.debian.tar.xz
2024-02-17 08:37
3.6K
coq-elpi_1.19.3-2build1.dsc
2024-02-17 08:37
2.0K
coq-elpi_1.19.3-2build2.debian.tar.xz
2024-03-24 08:53
3.7K
coq-elpi_1.19.3-2build2.dsc
2024-03-24 08:53
2.1K
coq-elpi_1.19.3-2build3.debian.tar.xz
2024-04-01 02:36
3.8K
coq-elpi_1.19.3-2build3.dsc
2024-04-01 02:36
2.1K
coq-elpi_1.19.3-2build4.debian.tar.xz
2024-04-08 15:57
3.8K
coq-elpi_1.19.3-2build4.dsc
2024-04-08 15:57
2.1K
coq-elpi_1.19.3.orig.tar.gz
2023-12-23 01:26
558K
coq-elpi_2.1.0-1.debian.tar.xz
2024-05-02 19:53
3.6K
coq-elpi_2.1.0-1.dsc
2024-05-02 19:53
2.0K
coq-elpi_2.1.0-1build1.debian.tar.xz
2024-05-03 04:28
3.6K
coq-elpi_2.1.0-1build1.dsc
2024-05-03 04:28
2.0K
coq-elpi_2.1.0.orig.tar.gz
2024-05-02 19:53
699K
libcoq-elpi-ocaml-dev_1.13.0-1_amd64.deb
2022-02-11 07:34
1.6M
libcoq-elpi-ocaml-dev_1.14.0-5build1_amd64.deb
2022-07-22 00:13
1.6M
libcoq-elpi-ocaml_1.13.0-1_amd64.deb
2022-02-11 07:34
4.8M
libcoq-elpi-ocaml_1.14.0-5build1_amd64.deb
2022-07-22 00:13
8.0M
libcoq-elpi_1.14.0-5build1_amd64.deb
2022-07-22 00:13
495K
libcoq-elpi_1.16.0-2build1_amd64.deb
2023-02-17 09:14
2.9M
libcoq-elpi_1.17.1-1_amd64.deb
2023-06-13 13:30
2.9M
libcoq-elpi_1.17.1-1build1_amd64.deb
2023-07-08 06:59
2.9M
libcoq-elpi_1.17.1-1build2_amd64.deb
2023-07-18 15:39
2.9M
libcoq-elpi_1.17.1-1build3_amd64.deb
2023-07-25 04:24
2.9M
libcoq-elpi_1.17.1-1build4_amd64.deb
2023-07-26 14:22
2.9M
libcoq-elpi_1.17.1-1build5_amd64.deb
2023-07-27 19:19
2.9M
libcoq-elpi_1.17.1-1build6_amd64.deb
2023-07-28 12:09
2.9M
libcoq-elpi_1.17.1-1build7_amd64.deb
2023-08-20 17:49
2.9M
libcoq-elpi_1.17.1-1build8_amd64.deb
2023-08-28 23:48
2.9M
libcoq-elpi_1.17.1-1build9_amd64.deb
2023-11-06 05:09
2.9M
libcoq-elpi_1.17.1-1build10_amd64.deb
2023-11-23 08:05
2.9M
libcoq-elpi_1.19.3-1_amd64.deb
2023-12-23 08:12
5.7M
libcoq-elpi_1.19.3-2_amd64.deb
2024-01-04 02:29
5.7M
libcoq-elpi_1.19.3-2build1_amd64.deb
2024-02-17 16:53
3.0M
libcoq-elpi_1.19.3-2build2_amd64.deb
2024-03-24 08:53
3.0M
libcoq-elpi_1.19.3-2build3_amd64.deb
2024-04-01 03:32
3.0M
libcoq-elpi_1.19.3-2build4_amd64.deb
2024-04-08 15:57
3.0M
libcoq-elpi_2.1.0-1build1_amd64.deb
2024-05-03 13:21
4.1M
Apache/2.4.41 (Ubuntu) Server at mirror.datacenter.mn Port 80