Index of /ubuntu/pool/universe/e/elpi

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[   ]elpi_2.0.5-1_amd64.deb 2024-12-18 16:49 1.9M 
[   ]libelpi-ocaml_2.0.5-..>2024-12-18 16:49 3.8M 
[   ]libelpi-ocaml-dev_2...>2024-12-18 16:49 15M 
[   ]elpi_2.0.5-1.debian...>2024-12-18 15:41 4.6K 
[   ]elpi_2.0.5.orig.tar.gz 2024-12-18 15:41 2.5M 
[TXT]elpi_2.0.5-1.dsc 2024-12-18 15:41 2.4K 
[   ]elpi_1.18.2-5build3_..>2024-09-19 07:03 1.7M 
[   ]libelpi-ocaml_1.18.2..>2024-09-19 07:03 3.1M 
[   ]libelpi-ocaml-dev_1...>2024-09-19 07:03 13M 
[TXT]elpi_1.18.2-5build3.dsc2024-09-17 05:59 2.3K 
[   ]elpi_1.18.2-5build3...>2024-09-17 05:59 4.9K 
[   ]elpi_1.18.2.orig.tar.gz2024-05-02 18:55 2.5M 
[   ]elpi_1.17.4-3build1_..>2024-02-16 22:33 1.6M 
[   ]libelpi-ocaml_1.17.4..>2024-02-16 22:33 4.6M 
[   ]libelpi-ocaml-dev_1...>2024-02-16 22:33 11M 
[TXT]elpi_1.17.4-3build1.dsc2024-02-16 16:37 2.3K 
[   ]elpi_1.17.4-3build1...>2024-02-16 16:37 4.5K 
[   ]elpi_1.17.4.orig.tar.gz2023-12-21 15:52 2.5M 
[   ]libelpi-ocaml_1.14.1..>2022-02-08 21:37 2.3M 
[   ]libelpi-ocaml-dev_1...>2022-02-08 21:37 8.0M 
[   ]elpi_1.14.1-1_amd64.deb2022-02-08 21:37 1.2M 
[   ]elpi_1.14.1-1.debian..>2022-02-08 21:35 4.0K 
[   ]elpi_1.14.1.orig.tar.gz2022-02-08 21:35 1.5M 
[TXT]elpi_1.14.1-1.dsc 2022-02-08 21:35 2.1K