[ Source: coq-elpi ]
Paketti: libcoq-elpi (2.1.0-1 ja muut)
Links for libcoq-elpi
Debian-palvelut:
Imuroi lähdekoodipaketti coq-elpi:
Ylläpitäjät:
External Resources:
- Kotisivu [github.com]
Samankaltaisia paketteja:
Coq plugin embedding Elpi
This package makes it possible to define new commands and tactics for Coq in Elpi.
Elpi implements a lambda-Prolog interpreter enriched with constraint handling rules.
Coq is a proof assistant for higher-order logic.
Muut pakettiin libcoq-elpi liittyvät paketit
|
|
|
|
-
- dep: libcoq-core-ocaml-600x6 [s390x]
- näennäispaketti, jonka toteuttaa libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-dev (>= 8.17)
- development libraries and tools for Coq
-
- dep: libcoq-core-ocaml-fza52 [amd64]
- näennäispaketti, jonka toteuttaa libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-pyj13 [i386]
- näennäispaketti, jonka toteuttaa libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-ql1j4 [armhf]
- näennäispaketti, jonka toteuttaa libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-tvu74 [arm64]
- näennäispaketti, jonka toteuttaa libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-tygf6 [riscv64]
- näennäispaketti, jonka toteuttaa libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-yi844 [ppc64]
- näennäispaketti, jonka toteuttaa libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-yj1f6 [ppc64el]
- näennäispaketti, jonka toteuttaa libcoq-core-ocaml
-
- dep: libcoq-stdlib-49fx0 [arm64]
- näennäispaketti, jonka toteuttaa libcoq-stdlib
-
- dep: libcoq-stdlib-f7md8 [riscv64]
- näennäispaketti, jonka toteuttaa libcoq-stdlib
-
- dep: libcoq-stdlib-ixla1 [amd64]
- näennäispaketti, jonka toteuttaa libcoq-stdlib
-
- dep: libcoq-stdlib-l3dr3 [i386]
- näennäispaketti, jonka toteuttaa libcoq-stdlib
-
- dep: libcoq-stdlib-ob632 [ppc64el]
- näennäispaketti, jonka toteuttaa libcoq-stdlib
-
- dep: libcoq-stdlib-pyy86 [ppc64]
- näennäispaketti, jonka toteuttaa libcoq-stdlib
-
- dep: libcoq-stdlib-ubg70 [armhf]
- näennäispaketti, jonka toteuttaa libcoq-stdlib
-
- dep: libcoq-stdlib-w0z25 [s390x]
- näennäispaketti, jonka toteuttaa libcoq-stdlib
-
- dep: libelpi-ocaml-a6z29 [arm64]
- näennäispaketti, jonka toteuttaa libelpi-ocaml
-
- dep: libelpi-ocaml-cxgo8 [s390x]
- näennäispaketti, jonka toteuttaa libelpi-ocaml
-
- dep: libelpi-ocaml-dev
- embeddable lambda-Prolog interpreter (dev files)
-
- dep: libelpi-ocaml-f1ax3 [armhf]
- näennäispaketti, jonka toteuttaa libelpi-ocaml
-
- dep: libelpi-ocaml-g4143 [amd64]
- näennäispaketti, jonka toteuttaa libelpi-ocaml
-
- dep: libelpi-ocaml-jlnp3 [i386]
- näennäispaketti, jonka toteuttaa libelpi-ocaml
-
- dep: libelpi-ocaml-mcuj3 [ppc64el]
- näennäispaketti, jonka toteuttaa libelpi-ocaml
-
- dep: libelpi-ocaml-qs6l8 [ppc64]
- näennäispaketti, jonka toteuttaa libelpi-ocaml
-
- dep: libelpi-ocaml-tryd8 [riscv64]
- näennäispaketti, jonka toteuttaa libelpi-ocaml
-
- dep: libstdlib-ocaml-058x2 [ppc64el]
- näennäispaketti, jonka toteuttaa libstdlib-ocaml
-
- dep: libstdlib-ocaml-dkl58 [i386]
- näennäispaketti, jonka toteuttaa libstdlib-ocaml
-
- dep: libstdlib-ocaml-ep7y0 [amd64]
- näennäispaketti, jonka toteuttaa libstdlib-ocaml
-
- dep: libstdlib-ocaml-fyga0 [arm64]
- näennäispaketti, jonka toteuttaa libstdlib-ocaml
-
- dep: libstdlib-ocaml-gats1 [ppc64]
- näennäispaketti, jonka toteuttaa libstdlib-ocaml
-
- dep: libstdlib-ocaml-rayz1 [armhf]
- näennäispaketti, jonka toteuttaa libstdlib-ocaml
-
- dep: libstdlib-ocaml-vjut8 [riscv64]
- näennäispaketti, jonka toteuttaa libstdlib-ocaml
-
- dep: libstdlib-ocaml-vneg5 [s390x]
- näennäispaketti, jonka toteuttaa libstdlib-ocaml
-
- dep: libzarith-ocaml-avzf2 [ppc64, s390x]
- näennäispaketti, jonka toteuttaa libzarith-ocaml
-
- dep: libzarith-ocaml-wx6x8 [armhf, i386]
- näennäispaketti, jonka toteuttaa libzarith-ocaml
-
- dep: libzarith-ocaml-zlfv4 [amd64, arm64, ppc64el, riscv64]
- näennäispaketti, jonka toteuttaa libzarith-ocaml
Imuroi libcoq-elpi
| Arkkitehtuuri | Versio | Paketin koko | Koko asennettuna | Tiedostot |
|---|---|---|---|---|
| amd64 | 2.1.0-1+b2 | 3,373.9 kt | 24,523.0 kt | [tiedostoluettelo] |
| arm64 | 2.1.0-1+b2 | 3,516.1 kt | 25,623.0 kt | [tiedostoluettelo] |
| armhf | 2.1.0-1+b1 | 3,363.4 kt | 23,270.0 kt | [tiedostoluettelo] |
| i386 | 2.1.0-1+b2 | 3,276.5 kt | 23,756.0 kt | [tiedostoluettelo] |
| ppc64 (epävirallinen siirros) | 2.1.0-1 | 3,421.7 kt | 25,621.0 kt | [tiedostoluettelo] |
| ppc64el | 2.1.0-1+b2 | 3,423.2 kt | 25,111.0 kt | [tiedostoluettelo] |
| riscv64 | 2.1.0-1+b2 | 3,398.7 kt | 24,739.0 kt | [tiedostoluettelo] |
| s390x | 2.1.0-1+b1 | 3,412.5 kt | 24,975.0 kt | [tiedostoluettelo] |