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

NameLast ModifiedSizeType
Parent Directory/ -  Directory
coq-elpi_1.13.0-1.debian.tar.xz2022-Feb-11 07:14:452.5Kapplication/x-xz
coq-elpi_1.13.0-1.dsc2022-Feb-11 07:14:442.0Kapplication/octet-stream
coq-elpi_1.13.0.orig.tar.gz2022-Feb-11 07:14:44351.6Kapplication/gzip
coq-elpi_1.19.3-2build4.debian.tar.xz2024-Apr-08 15:57:413.7Kapplication/x-xz
coq-elpi_1.19.3-2build4.dsc2024-Apr-08 15:57:412.0Kapplication/octet-stream
coq-elpi_1.19.3.orig.tar.gz2023-Dec-23 01:26:57558.2Kapplication/gzip
coq-elpi_2.1.0-1build9.debian.tar.xz2024-Sep-17 23:51:403.7Kapplication/x-xz
coq-elpi_2.1.0-1build9.dsc2024-Sep-17 23:51:401.9Kapplication/octet-stream
coq-elpi_2.1.0.orig.tar.gz2024-May-02 19:53:16699.0Kapplication/gzip
coq-elpi_2.2.3-1build1.debian.tar.xz2024-Nov-21 11:11:023.7Kapplication/x-xz
coq-elpi_2.2.3-1build1.dsc2024-Nov-21 11:11:022.0Kapplication/octet-stream
coq-elpi_2.2.3.orig.tar.gz2024-Nov-21 02:47:28736.2Kapplication/gzip
coq-elpi_2.3.0-1.debian.tar.xz2024-Dec-19 07:41:453.6Kapplication/x-xz
coq-elpi_2.3.0-1.dsc2024-Dec-19 07:41:452.0Kapplication/octet-stream
coq-elpi_2.3.0.orig.tar.gz2024-Dec-19 07:41:45717.4Kapplication/gzip
libcoq-elpi-ocaml-dev_1.13.0-1_arm64.deb2022-Feb-11 07:53:541.6Mapplication/vnd.debian.binary-package
libcoq-elpi-ocaml-dev_1.13.0-1_armhf.deb2022-Feb-11 07:53:551.6Mapplication/vnd.debian.binary-package
libcoq-elpi-ocaml-dev_1.13.0-1_ppc64el.deb2022-Feb-11 07:34:211.6Mapplication/vnd.debian.binary-package
libcoq-elpi-ocaml-dev_1.13.0-1_riscv64.deb2022-Feb-11 09:39:381.9Mapplication/vnd.debian.binary-package
libcoq-elpi-ocaml_1.13.0-1_arm64.deb2022-Feb-11 07:53:544.9Mapplication/vnd.debian.binary-package
libcoq-elpi-ocaml_1.13.0-1_armhf.deb2022-Feb-11 07:53:554.7Mapplication/vnd.debian.binary-package
libcoq-elpi-ocaml_1.13.0-1_ppc64el.deb2022-Feb-11 07:34:214.8Mapplication/vnd.debian.binary-package
libcoq-elpi-ocaml_1.13.0-1_riscv64.deb2022-Feb-11 09:39:384.8Mapplication/vnd.debian.binary-package
libcoq-elpi_1.19.3-2build4_arm64.deb2024-Apr-08 15:57:493.2Mapplication/vnd.debian.binary-package
libcoq-elpi_1.19.3-2build4_armhf.deb2024-Apr-08 15:57:493.0Mapplication/vnd.debian.binary-package
libcoq-elpi_1.19.3-2build4_ppc64el.deb2024-Apr-08 15:57:533.0Mapplication/vnd.debian.binary-package
libcoq-elpi_1.19.3-2build4_riscv64.deb2024-Apr-08 15:57:543.1Mapplication/vnd.debian.binary-package
libcoq-elpi_1.19.3-2build4_s390x.deb2024-Apr-08 15:57:583.1Mapplication/vnd.debian.binary-package
libcoq-elpi_2.1.0-1build9_arm64.deb2024-Sep-20 01:02:283.0Mapplication/vnd.debian.binary-package
libcoq-elpi_2.1.0-1build9_ppc64el.deb2024-Sep-20 01:02:302.9Mapplication/vnd.debian.binary-package
libcoq-elpi_2.1.0-1build9_riscv64.deb2024-Sep-20 01:02:302.9Mapplication/vnd.debian.binary-package
libcoq-elpi_2.1.0-1build9_s390x.deb2024-Sep-20 01:02:312.9Mapplication/vnd.debian.binary-package
libcoq-elpi_2.2.3-1build1_arm64.deb2024-Nov-21 11:11:157.9Mapplication/vnd.debian.binary-package
libcoq-elpi_2.2.3-1build1_ppc64el.deb2024-Nov-21 11:11:177.7Mapplication/vnd.debian.binary-package
libcoq-elpi_2.2.3-1build1_riscv64.deb2024-Nov-21 12:14:058.4Mapplication/vnd.debian.binary-package
libcoq-elpi_2.2.3-1build1_s390x.deb2024-Nov-21 11:11:227.6Mapplication/vnd.debian.binary-package
libcoq-elpi_2.3.0-1_arm64.deb2024-Dec-19 23:21:5912.1Mapplication/vnd.debian.binary-package
libcoq-elpi_2.3.0-1_ppc64el.deb2024-Dec-19 23:22:0311.9Mapplication/vnd.debian.binary-package
libcoq-elpi_2.3.0-1_riscv64.deb2024-Dec-19 23:22:0412.6Mapplication/vnd.debian.binary-package
libcoq-elpi_2.3.0-1_s390x.deb2024-Dec-19 23:22:1611.9Mapplication/vnd.debian.binary-package
lighttpd/1.4.35