Index of /raspbian/raspbian/pool/main/e/elpi

Icon  Name                                    Last modified      Size  Description
[PARENTDIR] Parent Directory                                             -   
[   ] elpi_1.16.8-1.debian.tar.xz             2022-12-07 04:38  4.0K  
[TXT] elpi_1.16.8-1.dsc                       2022-12-07 04:38  2.4K  
[   ] elpi_1.16.8.orig.tar.gz                 2022-12-07 04:38  2.5M  
[   ] elpi_1.17.4-3+b1_armhf.deb              2024-02-28 19:08  1.2M  
[   ] elpi_1.17.4-3.debian.tar.xz             2023-12-31 15:26  4.4K  
[TXT] elpi_1.17.4-3.dsc                       2023-12-31 15:26  2.3K  
[   ] elpi_1.17.4.orig.tar.gz                 2023-12-21 11:08  2.5M  
[   ] libelpi-ocaml-dev_1.17.4-3+b1_armhf.deb 2024-02-28 19:08  8.7M  
[   ] libelpi-ocaml_1.17.4-3+b1_armhf.deb     2024-02-28 19:08  3.6M