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

[ Pakiet źródłowy: coq-dpdgraph  ]

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

• dep: libstdlib-ocaml-gats1 [ppc64]

  Pakiet niedostępny

• dep: libstdlib-ocaml-kjuo1 [nie loong64, ppc64, s390x]

  pakiet wirtualny udostępniany przez libstdlib-ocaml

• dep: libstdlib-ocaml-l59h8 [s390x]

  pakiet wirtualny udostępniany przez libstdlib-ocaml

• dep: libstdlib-ocaml-vyp69 [loong64]

  Pakiet niedostępny

• dep: ocaml-base-4.14.1 [loong64, ppc64]

  pakiet wirtualny udostępniany przez ocaml-base

• dep: ocaml-base-5.4.0 [nie loong64, ppc64]

  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+b6	1 119,2 KiB	8 118,0 KiB	[lista plików]
arm64	1.0+8.20-1+b6	1 119,0 KiB	8 118,0 KiB	[lista plików]
loong64 (port nieoficjalny)	1.0+8.19-2	1 005,0 KiB	7 217,0 KiB	[lista plików]
ppc64 (port nieoficjalny)	1.0+8.19-2	1 004,9 KiB	7 217,0 KiB	[lista plików]
ppc64el	1.0+8.20-1+b5	1 119,2 KiB	8 119,0 KiB	[lista plików]
riscv64	1.0+8.20-1+b5	1 119,0 KiB	8 118,0 KiB	[lista plików]
s390x	1.0+8.20-1+b5	1 119,1 KiB	8 117,0 KiB	[lista plików]