Pakiet: coq-dpdgraph-tools (1.0+8.20-1 i inne)

Odnośniki dla coq-dpdgraph-tools

Zasoby systemu Debian:

Pobieranie pakietu źródłowego coq-dpdgraph:

Opiekunowie:

Zasoby zewnętrzne:

Strona internetowa [github.com]

Podobne pakiety:

Wtyczka dla Coq do wyodrębniania zależności między obiektami Coq (narzędzia)

Ten pakiet zawiera wtyczkę dla Coq, umożliwiającą wyodrębnianie zależności pomiędzy obiektami Coq i generowanie plików z informacjami o zależnościach.

Coq jest asystentem dowodzenia dla logiki wyższego rzędu.

Pakiet zawiera narzędzia powiązane z tą wtyczką.

Inne pakiety związane z coq-dpdgraph-tools

wymaga

poleca

sugeruje

enhances

dep: libstdlib-ocaml-2d5j3 [s390x]

pakiet wirtualny udostępniany przez libstdlib-ocaml
dep: libstdlib-ocaml-m4xw9 [nie s390x]

pakiet wirtualny udostępniany przez libstdlib-ocaml
dep: ocaml-base-5.3.0

pakiet wirtualny udostępniany przez ocaml-base

sug: graphviz

rich set of graph drawing tools

Pobieranie coq-dpdgraph-tools

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	1.0+8.20-1+b4	1 090,7 KiB	7 909,0 KiB	[lista plików]
arm64	1.0+8.20-1+b4	1 091,2 KiB	7 909,0 KiB	[lista plików]
ppc64el	1.0+8.20-1+b4	1 090,9 KiB	7 909,0 KiB	[lista plików]
riscv64	1.0+8.20-1+b4	1 091,1 KiB	7 909,0 KiB	[lista plików]
s390x	1.0+8.20-1+b4	1 091,1 KiB	7 909,0 KiB	[lista plików]