Studenten Net Twente Mirror service

Index of /debian/pool/main/c/coq-elpi/

Filename Modification time Size
coq-elpi_1.13.0-7.debian.tar.xz 3052 B
coq-elpi_1.13.0-7.dsc 2142 B
coq-elpi_1.13.0.orig.tar.gz 352 KiB
coq-elpi_1.14.0-1.debian.tar.xz 3136 B
coq-elpi_1.14.0-1.dsc 2142 B
coq-elpi_1.14.0-2.debian.tar.xz 3164 B
coq-elpi_1.14.0-2.dsc 2142 B
coq-elpi_1.14.0.orig.tar.gz 352 KiB
libcoq-elpi-ocaml-dev_1.13.0-7_amd64.deb 1260 KiB
libcoq-elpi-ocaml-dev_1.13.0-7_arm64.deb 1275 KiB
libcoq-elpi-ocaml-dev_1.13.0-7_armhf.deb 1283 KiB
libcoq-elpi-ocaml-dev_1.13.0-7_i386.deb 1247 KiB
libcoq-elpi-ocaml-dev_1.13.0-7_ppc64el.deb 1294 KiB
libcoq-elpi-ocaml-dev_1.14.0-1_amd64.deb 1264 KiB
libcoq-elpi-ocaml-dev_1.14.0-1_arm64.deb 1278 KiB
libcoq-elpi-ocaml-dev_1.14.0-1_armhf.deb 1288 KiB
libcoq-elpi-ocaml-dev_1.14.0-1_i386.deb 1251 KiB
libcoq-elpi-ocaml-dev_1.14.0-1_ppc64el.deb 1298 KiB
libcoq-elpi-ocaml-dev_1.14.0-2_amd64.deb 1264 KiB
libcoq-elpi-ocaml-dev_1.14.0-2_arm64.deb 1278 KiB
libcoq-elpi-ocaml-dev_1.14.0-2_armhf.deb 1288 KiB
libcoq-elpi-ocaml-dev_1.14.0-2_i386.deb 1255 KiB
libcoq-elpi-ocaml-dev_1.14.0-2_ppc64el.deb 1298 KiB
libcoq-elpi-ocaml_1.13.0-7_amd64.deb 3481 KiB
libcoq-elpi-ocaml_1.13.0-7_arm64.deb 3586 KiB
libcoq-elpi-ocaml_1.13.0-7_armhf.deb 3460 KiB
libcoq-elpi-ocaml_1.13.0-7_i386.deb 3365 KiB
libcoq-elpi-ocaml_1.13.0-7_ppc64el.deb 3506 KiB
libcoq-elpi-ocaml_1.14.0-1_amd64.deb 6258 KiB
libcoq-elpi-ocaml_1.14.0-1_arm64.deb 6357 KiB
libcoq-elpi-ocaml_1.14.0-1_armhf.deb 6238 KiB
libcoq-elpi-ocaml_1.14.0-1_i386.deb 6135 KiB
libcoq-elpi-ocaml_1.14.0-1_ppc64el.deb 6306 KiB
libcoq-elpi-ocaml_1.14.0-2_amd64.deb 6255 KiB
libcoq-elpi-ocaml_1.14.0-2_arm64.deb 6352 KiB
libcoq-elpi-ocaml_1.14.0-2_armhf.deb 6233 KiB
libcoq-elpi-ocaml_1.14.0-2_i386.deb 6133 KiB
libcoq-elpi-ocaml_1.14.0-2_ppc64el.deb 6304 KiB
libcoq-elpi_1.13.0-7_amd64.deb 446 KiB
libcoq-elpi_1.13.0-7_arm64.deb 447 KiB
libcoq-elpi_1.13.0-7_armhf.deb 445 KiB
libcoq-elpi_1.13.0-7_i386.deb 446 KiB
libcoq-elpi_1.13.0-7_ppc64el.deb 446 KiB
libcoq-elpi_1.14.0-1_amd64.deb 444 KiB
libcoq-elpi_1.14.0-1_arm64.deb 445 KiB
libcoq-elpi_1.14.0-1_armhf.deb 445 KiB
libcoq-elpi_1.14.0-1_i386.deb 444 KiB
libcoq-elpi_1.14.0-1_ppc64el.deb 445 KiB
libcoq-elpi_1.14.0-2_amd64.deb 444 KiB
libcoq-elpi_1.14.0-2_arm64.deb 445 KiB
libcoq-elpi_1.14.0-2_armhf.deb 444 KiB
libcoq-elpi_1.14.0-2_i386.deb 444 KiB
libcoq-elpi_1.14.0-2_ppc64el.deb 444 KiB