[ Source: coq-dpdgraph ]
Paketti: coq-dpdgraph-tools (1.0+8.20-1 ja muut)
Links for coq-dpdgraph-tools
Debian-palvelut:
Imuroi lähdekoodipaketti coq-dpdgraph:
- [coq-dpdgraph_1.0+8.20-1.dsc]
- [coq-dpdgraph_1.0+8.20.orig.tar.gz]
- [coq-dpdgraph_1.0+8.20-1.debian.tar.xz]
Ylläpitäjät:
External Resources:
- Kotisivu [github.com]
Samankaltaisia paketteja:
Coq plugin to extract dependencies between Coq objects (tools)
This package provides a plugin for Coq to extract dependencies between Coq objects and produce files with dependency information.
Coq is a proof assistant for higher-order logic.
This package provides the tools associated to this plugin.
Muut pakettiin coq-dpdgraph-tools liittyvät paketit
|
|
|
|
-
- dep: libstdlib-ocaml-2d5j3 [s390x]
- näennäispaketti, jonka toteuttaa libstdlib-ocaml
-
- dep: libstdlib-ocaml-m4xw9 [ei s390x]
- näennäispaketti, jonka toteuttaa libstdlib-ocaml
-
- dep: ocaml-base-5.3.0
- näennäispaketti, jonka toteuttaa ocaml-base
-
- sug: graphviz
- rich set of graph drawing tools
Imuroi coq-dpdgraph-tools
| Arkkitehtuuri | Versio | Paketin koko | Koko asennettuna | Tiedostot |
|---|---|---|---|---|
| amd64 | 1.0+8.20-1+b4 | 1,090.7 kt | 7,909.0 kt | [tiedostoluettelo] |
| arm64 | 1.0+8.20-1+b4 | 1,091.2 kt | 7,909.0 kt | [tiedostoluettelo] |
| ppc64el | 1.0+8.20-1+b4 | 1,090.9 kt | 7,909.0 kt | [tiedostoluettelo] |
| riscv64 | 1.0+8.20-1+b4 | 1,091.1 kt | 7,909.0 kt | [tiedostoluettelo] |
| s390x | 1.0+8.20-1+b4 | 1,091.1 kt | 7,909.0 kt | [tiedostoluettelo] |