Index of /pub/debian/pool/main/e/elpi

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]elpi_1.16.8-1+b2_i386.deb2023-02-14 03:21 1.4M 
[ ]libelpi-ocaml-dev_1.16.8-1+b2_i386.deb2023-02-14 03:21 9.6M 
[ ]libelpi-ocaml_1.16.8-1+b2_i386.deb2023-02-14 03:21 4.6M 
[ ]elpi_1.16.8-1+b2_amd64.deb2023-02-14 03:27 1.5M 
[ ]libelpi-ocaml-dev_1.16.8-1+b2_amd64.deb2023-02-14 03:27 9.9M 
[ ]libelpi-ocaml_1.16.8-1+b2_amd64.deb2023-02-14 03:27 4.7M 
[ ]elpi_1.17.4-3+b1_i386.deb2024-02-16 08:42 1.3M 
[ ]libelpi-ocaml-dev_1.17.4-3+b1_i386.deb2024-02-16 08:42 8.7M 
[ ]libelpi-ocaml_1.17.4-3+b1_i386.deb2024-02-16 08:42 3.6M 
[ ]elpi_1.17.4-3+b1_amd64.deb2024-02-16 08:42 1.4M 
[ ]libelpi-ocaml-dev_1.17.4-3+b1_amd64.deb2024-02-16 08:42 8.9M 
[ ]libelpi-ocaml_1.17.4-3+b1_amd64.deb2024-02-16 08:42 3.6M 
[ ]elpi_1.18.2-2_i386.deb2024-06-07 03:13 1.3M 
[ ]libelpi-ocaml-dev_1.18.2-2_i386.deb2024-06-07 03:13 9.0M 
[ ]libelpi-ocaml_1.18.2-2_i386.deb2024-06-07 03:13 3.6M 
[ ]elpi_1.18.2-2_amd64.deb2024-06-07 03:18 1.4M 
[ ]libelpi-ocaml-dev_1.18.2-2_amd64.deb2024-06-07 03:18 9.3M 
[ ]libelpi-ocaml_1.18.2-2_amd64.deb2024-06-07 03:18 3.7M 
[ ]elpi_1.18.2-2_riscv64.deb2024-06-07 04:09 1.4M 
[ ]libelpi-ocaml-dev_1.18.2-2_riscv64.deb2024-06-07 04:09 9.8M 
[ ]libelpi-ocaml_1.18.2-2_riscv64.deb2024-06-07 04:09 3.7M 
Apache/2.4.57 (Debian) Server at pcleon.if.ufrgs.br Port 80