[ Source: coq-hierarchy-builder ]
Package: coq-hierarchy-builder (1.6.0-1 and others)
Links for coq-hierarchy-builder
Debian Resources:
Download Source Package coq-hierarchy-builder:
- [coq-hierarchy-builder_1.6.0-1.dsc]
- [coq-hierarchy-builder_1.6.0.orig.tar.gz]
- [coq-hierarchy-builder_1.6.0-1.debian.tar.xz]
Maintainers:
External Resources:
- Homepage [github.com]
Similar packages:
Byggehierarkier for algebraiske strukturer i Coq - værktøj
Dette program tilbyder kommandoer på højt niveau til at bygge hierarkier med algebraiske strukturer i Coq-systemet.
Denne pakke tilbyder kommandolinjeværktøjet.
Other Packages Related to coq-hierarchy-builder
|
|
|
|
-
- dep: libcoq-hierarchy-builder (= 1.4.0-6+b3) [ppc64]
- Byggehierarkier for algebraiske strukturer i Coq - kørselstidsfiler
- dep: libcoq-hierarchy-builder (= 1.6.0-1+b2) [not ppc64]
-
- dep: ocaml [not ppc64]
- ML sprogimplementering med et klassebasseret objektsystem
-
- dep: ocaml-nox [ppc64]
- Overgangspakke for OCaml
Download coq-hierarchy-builder
Architecture | Version | Package Size | Installed Size | Files |
---|---|---|---|---|
amd64 | 1.6.0-1+b2 | 646.8 kB | 2,240.0 kB | [list of files] |
arm64 | 1.6.0-1+b2 | 646.6 kB | 2,240.0 kB | [list of files] |
armhf | 1.6.0-1+b2 | 646.3 kB | 2,240.0 kB | [list of files] |
i386 | 1.6.0-1+b2 | 646.6 kB | 2,240.0 kB | [list of files] |
ppc64 (unofficial port) | 1.4.0-6+b3 | 605.1 kB | 2,104.0 kB | [list of files] |
ppc64el | 1.6.0-1+b2 | 646.4 kB | 2,240.0 kB | [list of files] |
riscv64 | 1.6.0-1+b2 | 646.6 kB | 2,240.0 kB | [list of files] |
s390x | 1.6.0-1+b2 | 646.5 kB | 2,240.0 kB | [list of files] |