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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-elpi_1.13.0-1.debian.tar.xz 25842022-Feb-11 08:14
coq-elpi_1.13.0-1.dsc 20882022-Feb-11 08:14
coq-elpi_1.13.0.orig.tar.gz 3600522022-Feb-11 08:14
coq-elpi_1.19.3-2build4.debian.tar.xz 38522024-Apr-08 16:57
coq-elpi_1.19.3-2build4.dsc 21082024-Apr-08 16:57
coq-elpi_1.19.3.orig.tar.gz 5716782023-Dec-23 02:26
coq-elpi_2.4.0-1build1.debian.tar.xz 38482025-Feb-19 06:25
coq-elpi_2.4.0-1build1.dsc 20662025-Feb-19 06:25
coq-elpi_2.4.0.orig.tar.gz 7347552025-Feb-18 10:39
coq-elpi_2.5.0-1.1build1.debian.tar.xz 39362025-Sep-01 04:42
coq-elpi_2.5.0-1.1build1.dsc 20742025-Sep-01 04:42
coq-elpi_2.5.0-1.2build3.debian.tar.xz 40442026-Mar-02 00:46
coq-elpi_2.5.0-1.2build3.dsc 20742026-Mar-02 00:46
coq-elpi_2.5.0.orig.tar.gz 7459682025-May-02 01:23
coq-elpi_3.5.0-3build1.debian.tar.xz 57562026-Aug-27 01:19
coq-elpi_3.5.0-3build1.dsc 21342026-Aug-27 01:19
coq-elpi_3.5.0-3build2.debian.tar.xz 57762026-Aug-27 23:19
coq-elpi_3.5.0-3build2.dsc 21342026-Aug-27 23:19
coq-elpi_3.5.0.orig.tar.gz 11325422026-Jul-29 02:29
libcoq-elpi-ocaml-dev_1.13.0-1_arm64.deb 17367162022-Feb-11 08:53
libcoq-elpi-ocaml-dev_1.13.0-1_armhf.deb 17462562022-Feb-11 08:53
libcoq-elpi-ocaml-dev_1.13.0-1_ppc64el.deb 17594882022-Feb-11 08:34
libcoq-elpi-ocaml-dev_1.13.0-1_riscv64.deb 19776322022-Feb-11 10:39
libcoq-elpi-ocaml_1.13.0-1_arm64.deb 52421682022-Feb-11 08:53
libcoq-elpi-ocaml_1.13.0-1_armhf.deb 49864882022-Feb-11 08:53
libcoq-elpi-ocaml_1.13.0-1_ppc64el.deb 50665462022-Feb-11 08:34
libcoq-elpi-ocaml_1.13.0-1_riscv64.deb 50182502022-Feb-11 10:39
libcoq-elpi_1.19.3-2build4_arm64.deb 33699842024-Apr-08 16:57
libcoq-elpi_1.19.3-2build4_armhf.deb 31765262024-Apr-08 16:57
libcoq-elpi_1.19.3-2build4_ppc64el.deb 32426482024-Apr-08 16:57
libcoq-elpi_1.19.3-2build4_riscv64.deb 32733742024-Apr-08 16:57
libcoq-elpi_1.19.3-2build4_s390x.deb 32553202024-Apr-08 16:57
libcoq-elpi_2.4.0-1build1_arm64.deb 140628262025-Feb-19 06:25
libcoq-elpi_2.4.0-1build1_ppc64el.deb 137323002025-Feb-19 06:26
libcoq-elpi_2.4.0-1build1_riscv64.deb 145252702025-Feb-19 09:23
libcoq-elpi_2.4.0-1build1_s390x.deb 136362282025-Feb-19 09:24
libcoq-elpi_2.5.0-1.1build1_arm64.deb 137323062025-Sep-01 12:34
libcoq-elpi_2.5.0-1.1build1_ppc64el.deb 134228342025-Sep-01 12:34
libcoq-elpi_2.5.0-1.1build1_riscv64.deb 141260782025-Sep-01 16:27
libcoq-elpi_2.5.0-1.1build1_s390x.deb 133346702025-Sep-01 12:35
libcoq-elpi_2.5.0-1.2build3_arm64.deb 147670502026-Mar-02 00:46
libcoq-elpi_2.5.0-1.2build3_ppc64el.deb 143857362026-Mar-02 00:47
libcoq-elpi_2.5.0-1.2build3_riscv64.deb 150446602026-Mar-02 22:16
libcoq-elpi_2.5.0-1.2build3_s390x.deb 143981702026-Mar-02 00:47
libcoq-elpi_3.5.0-3_arm64.deb 154167362026-Aug-26 22:31
libcoq-elpi_3.5.0-3_s390x.deb 150802022026-Aug-26 12:40
libcoq-elpi_3.5.0-3build1_ppc64el.deb 151149762026-Aug-27 01:19
libcoq-elpi_3.5.0-3build2_arm64.deb 154167302026-Aug-27 23:20