|
coq-elpi_1.13.0-1.debian.tar.xz
|
|
2584 B |
|
coq-elpi_1.13.0-1.dsc
|
|
2088 B |
|
coq-elpi_1.13.0.orig.tar.gz
|
|
352 KiB |
|
coq-elpi_1.19.3-2build4.debian.tar.xz
|
|
3852 B |
|
coq-elpi_1.19.3-2build4.dsc
|
|
2108 B |
|
coq-elpi_1.19.3.orig.tar.gz
|
|
558 KiB |
|
coq-elpi_2.4.0-1build1.debian.tar.xz
|
|
3848 B |
|
coq-elpi_2.4.0-1build1.dsc
|
|
2066 B |
|
coq-elpi_2.4.0.orig.tar.gz
|
|
718 KiB |
|
coq-elpi_2.5.0-1.1build1.debian.tar.xz
|
|
3936 B |
|
coq-elpi_2.5.0-1.1build1.dsc
|
|
2074 B |
|
coq-elpi_2.5.0-1.2build3.debian.tar.xz
|
|
4044 B |
|
coq-elpi_2.5.0-1.2build3.dsc
|
|
2074 B |
|
coq-elpi_2.5.0.orig.tar.gz
|
|
728 KiB |
|
coq-elpi_3.5.0-3build6.debian.tar.xz
|
|
5852 B |
|
coq-elpi_3.5.0-3build6.dsc
|
|
2134 B |
|
coq-elpi_3.5.0.orig.tar.gz
|
|
1106 KiB |
|
coq-elpi_3.5.1-1.debian.tar.xz
|
|
7476 B |
|
coq-elpi_3.5.1-1.dsc
|
|
1903 B |
|
coq-elpi_3.5.1.orig.tar.gz
|
|
1118 KiB |
|
libcoq-elpi-ocaml-dev_1.13.0-1_amd64.deb
|
|
1671 KiB |
|
libcoq-elpi-ocaml_1.13.0-1_amd64.deb
|
|
4869 KiB |
|
libcoq-elpi_1.19.3-2build4_amd64.deb
|
|
3104 KiB |
|
libcoq-elpi_2.4.0-1build1_amd64.deb
|
|
13 MiB |
|
libcoq-elpi_2.5.0-1.1build1_amd64.deb
|
|
12 MiB |
|
libcoq-elpi_2.5.0-1.1build1_arm64.deb
|
|
13 MiB |
|
libcoq-elpi_2.5.0-1.2build3_amd64.deb
|
|
13 MiB |
|
libcoq-elpi_2.5.0-1.2build3_amd64v3.deb
|
|
13 MiB |
|
libcoq-elpi_2.5.0-1.2build3_arm64.deb
|
|
14 MiB |
|
libcoq-elpi_3.5.0-3build6_amd64.deb
|
|
14 MiB |
|
libcoq-elpi_3.5.0-3build6_amd64v3.deb
|
|
14 MiB |
|
libcoq-elpi_3.5.0-3build6_arm64.deb
|
|
15 MiB |
|
libcoq-elpi_3.5.1-1_amd64.deb
|
|
14 MiB |
|
libcoq-elpi_3.5.1-1_amd64v3.deb
|
|
14 MiB |
