packages
[ Source: coq-elpi ]
Package: libcoq-elpi (1.19.3-2build4) [universe]
Links for libcoq-elpi
Ubuntu Resources:
Download Source Package coq-elpi:
Maintainer:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian OCaml Maintainers (Mail Archive)
- Julien Puydt
It should generally not be necessary for users to contact the original maintainer.
External Resources:
- Homepage [github.com]
Similar packages:
Coq plugin embedding Elpi
Other Packages Related to libcoq-elpi
|
|
|
|
-
- dep: libcoq-core-ocaml-dev (>= 8.17)
- development libraries and tools for Coq
-
- dep: libcoq-core-ocaml-fg9y1 [amd64]
- virtual package provided by libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-gv4e8 [ppc64el]
- virtual package provided by libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-lsl44 [s390x]
- virtual package provided by libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-ru4g2 [armhf]
- virtual package provided by libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-t2nr4 [arm64]
- virtual package provided by libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-y3z04 [riscv64]
- virtual package provided by libcoq-core-ocaml
-
- dep: libcoq-stdlib-2ey65 [arm64]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-4j3x8 [armhf]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-b7j06 [s390x]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-eg0o0 [amd64]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-ocr44 [riscv64]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-rtcj5 [ppc64el]
- virtual package provided by libcoq-stdlib
-
- dep: libelpi-ocaml-08ej5 [s390x]
- virtual package provided by libelpi-ocaml
-
- dep: libelpi-ocaml-1f790 [arm64]
- virtual package provided by libelpi-ocaml
-
- dep: libelpi-ocaml-70kg3 [armhf]
- virtual package provided by libelpi-ocaml
-
- dep: libelpi-ocaml-a4fh3 [amd64]
- virtual package provided by libelpi-ocaml
-
- dep: libelpi-ocaml-dev
- embeddable lambda-Prolog interpreter (dev files)
-
- dep: libelpi-ocaml-f9gn6 [riscv64]
- virtual package provided by libelpi-ocaml
-
- dep: libelpi-ocaml-s98n7 [ppc64el]
- virtual package provided by libelpi-ocaml
-
- dep: libstdlib-ocaml-ep7y0 [amd64]
- virtual package provided by libstdlib-ocaml
-
- dep: libstdlib-ocaml-fee01 [ppc64el]
- virtual package provided by libstdlib-ocaml
-
- dep: libstdlib-ocaml-fyga0 [arm64]
- virtual package provided by libstdlib-ocaml
-
- dep: libstdlib-ocaml-rayz1 [armhf]
- virtual package provided by libstdlib-ocaml
-
- dep: libstdlib-ocaml-vjut8 [riscv64]
- virtual package provided by libstdlib-ocaml
-
- dep: libstdlib-ocaml-vneg5 [s390x]
- virtual package provided by libstdlib-ocaml
-
- dep: libzarith-ocaml-avzf2 [s390x]
- virtual package provided by libzarith-ocaml
-
- dep: libzarith-ocaml-wx6x8 [armhf]
- virtual package provided by libzarith-ocaml
-
- dep: libzarith-ocaml-zlfv4 [not armhf, s390x]
- virtual package provided by libzarith-ocaml
Download libcoq-elpi
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 3,104.4 kB | 19,270.0 kB | [list of files] |
| arm64 | 3,291.0 kB | 20,078.0 kB | [list of files] |
| armhf | 3,102.1 kB | 18,439.0 kB | [list of files] |
| ppc64el | 3,166.6 kB | 19,694.0 kB | [list of files] |
| riscv64 | 3,196.7 kB | 19,563.0 kB | [list of files] |
| s390x | 3,179.0 kB | 19,606.0 kB | [list of files] |