Index of /trisquel/packages/pool/main/c/coq-elpi

Icon  Name                                               Last modified      Size  Description
[PARENTDIR] Parent Directory                                                        -   
[TXT] coq-elpi_1.13.0-1.dsc                              2022-02-11 07:14  2.0K  
[   ] coq-elpi_1.13.0.orig.tar.gz                        2022-02-11 07:14  352K  
[   ] coq-elpi_1.13.0-1.debian.tar.xz                    2022-02-11 07:14  2.5K  
[   ] libcoq-elpi-ocaml-dev_1.13.0-1_amd64.deb           2022-02-11 07:34  1.6M  
[   ] libcoq-elpi-ocaml_1.13.0-1_amd64.deb               2022-02-11 07:34  4.8M  
[   ] libcoq-elpi-ocaml-dev_1.13.0-1_ppc64el.deb         2022-02-11 07:34  1.7M  
[   ] libcoq-elpi-ocaml_1.13.0-1_ppc64el.deb             2022-02-11 07:34  4.8M  
[   ] libcoq-elpi-ocaml-dev_1.13.0-1_arm64.deb           2022-02-11 07:53  1.7M  
[   ] libcoq-elpi-ocaml_1.13.0-1_arm64.deb               2022-02-11 07:53  5.0M  
[   ] libcoq-elpi-ocaml-dev_1.13.0-1_armhf.deb           2022-02-11 07:53  1.7M  
[   ] libcoq-elpi-ocaml_1.13.0-1_armhf.deb               2022-02-11 07:53  4.8M
Apache/2.4.59 (Debian) Server at de.freedif.org Port 443