Index of /ubuntu/pool/universe/c/coq-elpi

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory   -  
[ ]coq-elpi_1.13.0-1.de..>2022-02-11 04:44 2.5K 
[TXT]coq-elpi_1.13.0-1.dsc 2022-02-11 04:44 2.0K 
[ ]coq-elpi_1.13.0.orig..>2022-02-11 04:44 352K 
[ ]coq-elpi_1.19.3-2bui..>2024-04-08 13:27 3.8K 
[TXT]coq-elpi_1.19.3-2bui..>2024-04-08 13:27 2.1K 
[ ]coq-elpi_1.19.3.orig..>2023-12-22 22:56 558K 
[ ]coq-elpi_2.4.0-1buil..>2025-02-19 02:55 3.8K 
[TXT]coq-elpi_2.4.0-1buil..>2025-02-19 02:55 2.0K 
[ ]coq-elpi_2.4.0.orig...>2025-02-18 07:09 718K 
[ ]coq-elpi_2.5.0-1.1bu..>2025-09-01 01:12 3.8K 
[TXT]coq-elpi_2.5.0-1.1bu..>2025-09-01 01:12 2.0K 
[ ]coq-elpi_2.5.0-1.2bu..>2026-03-01 21:16 3.9K 
[TXT]coq-elpi_2.5.0-1.2bu..>2026-03-01 21:16 2.0K 
[ ]coq-elpi_2.5.0.orig...>2025-05-01 21:53 728K 
[ ]coq-elpi_3.5.0-2.deb..>2026-08-03 22:45 5.6K 
[TXT]coq-elpi_3.5.0-2.dsc 2026-08-03 22:45 2.1K 
[ ]coq-elpi_3.5.0.orig...>2026-07-28 22:59 1.1M 
[ ]libcoq-elpi-ocaml-de..>2022-02-11 05:04 1.6M 
[ ]libcoq-elpi-ocaml_1...>2022-02-11 05:04 4.8M 
[ ]libcoq-elpi_1.19.3-2..>2024-04-08 13:27 3.0M 
[ ]libcoq-elpi_2.4.0-1b..>2025-02-19 02:55 13M 
[ ]libcoq-elpi_2.5.0-1...>2025-09-01 09:04 12M 
[ ]libcoq-elpi_2.5.0-1...>2025-09-01 09:04 13M 
[ ]libcoq-elpi_2.5.0-1...>2026-03-01 21:16 13M 
[ ]libcoq-elpi_2.5.0-1...>2026-03-02 01:21 13M 
[ ]libcoq-elpi_2.5.0-1...>2026-03-01 21:16 14M