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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory   -  
[ ]libcoq-elpi-ocaml_1...>2022-07-21 12:13 8.0M 
[ ]libcoq-elpi-ocaml_1...>2022-02-10 18:34 4.8M 
[ ]libcoq-elpi_1.17.1-1..>2023-07-24 16:24 2.9M 
[ ]libcoq-elpi_1.17.1-1..>2023-07-18 03:39 2.9M 
[ ]libcoq-elpi_1.16.0-2..>2023-02-16 20:14 2.9M 
[ ]libcoq-elpi-ocaml-de..>2022-02-10 18:34 1.6M 
[ ]libcoq-elpi-ocaml-de..>2022-07-21 12:13 1.6M 
[ ]libcoq-elpi_1.14.0-5..>2022-07-21 12:13 495K 
[ ]coq-elpi_1.17.1.orig..>2023-06-13 01:30 420K 
[ ]coq-elpi_1.16.0.orig..>2022-11-20 18:50 416K 
[ ]coq-elpi_1.14.0.orig..>2022-05-14 19:29 352K 
[ ]coq-elpi_1.13.0.orig..>2022-02-10 18:14 352K 
[ ]coq-elpi_1.17.1-1bui..>2023-07-24 13:37 3.5K 
[ ]coq-elpi_1.17.1-1bui..>2023-07-18 02:39 3.5K 
[ ]coq-elpi_1.16.0-2bui..>2023-02-16 18:24 3.4K 
[ ]coq-elpi_1.14.0-5bui..>2022-07-21 12:13 3.2K 
[ ]coq-elpi_1.13.0-1.de..>2022-02-10 18:14 2.5K 
[TXT]coq-elpi_1.14.0-5bui..>2022-07-21 12:13 2.1K 
[TXT]coq-elpi_1.13.0-1.dsc 2022-02-10 18:14 2.0K 
[TXT]coq-elpi_1.17.1-1bui..>2023-07-24 13:37 2.0K 
[TXT]coq-elpi_1.17.1-1bui..>2023-07-18 02:39 2.0K 
[TXT]coq-elpi_1.16.0-2bui..>2023-02-16 18:24 2.0K