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 |