Index of /debian-ports/pool-hurd-i386/main/e/elpi

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]elpi-dbgsym_1.15.2-1_hurd-i386.deb2022-05-14 18:03 279K 
[ ]elpi_1.15.2-1_hurd-i386.buildinfo2022-05-14 18:03 7.7K 
[ ]elpi_1.15.2-1_hurd-i386.deb2022-05-14 18:03 1.1M 
[ ]libelpi-ocaml-dbgsym_1.15.2-1_hurd-i386.deb2022-05-14 18:03 165K 
[ ]libelpi-ocaml-dev-dbgsym_1.15.2-1_hurd-i386.deb2022-05-14 18:03 855K 
[ ]libelpi-ocaml-dev_1.15.2-1_hurd-i386.deb2022-05-14 18:03 9.5M 
[ ]libelpi-ocaml_1.15.2-1_hurd-i386.deb2022-05-14 18:03 4.6M