Index of /pool/universe/c/coq-elpi
Name
Last modified
Size
Description
Parent Directory
-
coq-elpi_1.13.0-1.de..>
2022-02-11 02:44
2.5K
coq-elpi_1.13.0-1.dsc
2022-02-11 02:44
2.0K
coq-elpi_1.13.0.orig..>
2022-02-11 02:44
352K
coq-elpi_1.19.3-2bui..>
2024-04-08 11:27
3.8K
coq-elpi_1.19.3-2bui..>
2024-04-08 11:27
2.1K
coq-elpi_1.19.3.orig..>
2023-12-22 20:56
558K
coq-elpi_2.1.0-1buil..>
2024-09-17 19:21
3.8K
coq-elpi_2.1.0-1buil..>
2024-09-17 19:21
2.0K
coq-elpi_2.1.0.orig...>
2024-05-02 15:23
699K
coq-elpi_2.4.0-1buil..>
2025-02-19 00:55
3.8K
coq-elpi_2.4.0-1buil..>
2025-02-19 00:55
2.0K
coq-elpi_2.4.0.orig...>
2025-02-18 05:09
718K
coq-elpi_2.5.0-1.1.d..>
2025-06-17 14:58
3.8K
coq-elpi_2.5.0-1.1.dsc
2025-06-17 14:58
2.0K
coq-elpi_2.5.0-1ubun..>
2025-05-27 16:34
3.6K
coq-elpi_2.5.0-1ubun..>
2025-05-27 16:34
2.0K
coq-elpi_2.5.0.orig...>
2025-05-01 19:53
728K
libcoq-elpi-ocaml-de..>
2022-02-11 03:04
1.6M
libcoq-elpi-ocaml_1...>
2022-02-11 03:04
4.8M
libcoq-elpi_1.19.3-2..>
2024-04-08 11:27
3.0M
libcoq-elpi_2.1.0-1b..>
2024-09-19 20:32
2.9M
libcoq-elpi_2.4.0-1b..>
2025-02-19 00:55
13M
libcoq-elpi_2.5.0-1...>
2025-06-20 07:31
12M
libcoq-elpi_2.5.0-1u..>
2025-05-27 16:34
12M