Index of /ubuntu-ports/pool/universe/c/coq-elpi

 Name                                       Last modified      Size  Description
 Parent Directory                                                -   
 libcoq-elpi-ocaml-dev_1.13.0-1_arm64.deb   2022-02-11 00:53  1.7M  
 libcoq-elpi-ocaml-dev_1.13.0-1_armhf.deb   2022-02-11 00:53  1.7M  
 libcoq-elpi-ocaml-dev_1.13.0-1_ppc64el.deb 2022-02-11 00:34  1.7M  
 libcoq-elpi-ocaml-dev_1.13.0-1_riscv64.deb 2022-02-11 02:39  1.9M  
 libcoq-elpi-ocaml_1.13.0-1_arm64.deb       2022-02-11 00:53  5.0M  
 libcoq-elpi-ocaml_1.13.0-1_armhf.deb       2022-02-11 00:53  4.8M  
 libcoq-elpi-ocaml_1.13.0-1_ppc64el.deb     2022-02-11 00:34  4.8M  
 libcoq-elpi-ocaml_1.13.0-1_riscv64.deb     2022-02-11 02:39  4.8M  
 libcoq-elpi_1.19.3-2build4_arm64.deb       2024-04-08 09:57  3.2M  
 libcoq-elpi_1.19.3-2build4_armhf.deb       2024-04-08 09:57  3.0M  
 libcoq-elpi_1.19.3-2build4_ppc64el.deb     2024-04-08 09:57  3.1M  
 libcoq-elpi_1.19.3-2build4_riscv64.deb     2024-04-08 09:57  3.1M  
 libcoq-elpi_1.19.3-2build4_s390x.deb       2024-04-08 09:57  3.1M  
 libcoq-elpi_2.1.0-1build9_arm64.deb        2024-09-19 19:02  3.0M  
 libcoq-elpi_2.1.0-1build9_ppc64el.deb      2024-09-19 19:02  2.9M  
 libcoq-elpi_2.1.0-1build9_riscv64.deb      2024-09-19 19:02  3.0M  
 libcoq-elpi_2.1.0-1build9_s390x.deb        2024-09-19 19:02  3.0M  
 libcoq-elpi_2.4.0-1build1_arm64.deb        2025-02-18 22:25   13M  
 libcoq-elpi_2.4.0-1build1_ppc64el.deb      2025-02-18 22:26   13M  
 libcoq-elpi_2.4.0-1build1_riscv64.deb      2025-02-19 01:23   14M  
 libcoq-elpi_2.4.0-1build1_s390x.deb        2025-02-19 01:24   13M  
 libcoq-elpi_2.5.0-1_arm64.deb              2025-05-01 21:16   13M  
 libcoq-elpi_2.5.0-1_ppc64el.deb            2025-05-02 01:14   13M  
 libcoq-elpi_2.5.0-1_s390x.deb              2025-05-02 01:18   13M