Pakiet: coq-dpdgraph-tools (1.0+8.18-1)

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

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.

Inne pakiety związane z coq-dpdgraph-tools

• dep: libstdlib-ocaml-058x2 [ppc64el]

  pakiet wirtualny udostępniany przez libstdlib-ocaml

• dep: libstdlib-ocaml-dkl58 [i386]

  pakiet wirtualny udostępniany przez libstdlib-ocaml

• dep: libstdlib-ocaml-ep7y0 [amd64]

  pakiet wirtualny udostępniany przez libstdlib-ocaml

• dep: libstdlib-ocaml-fyga0 [arm64]

  pakiet wirtualny udostępniany przez libstdlib-ocaml

• dep: libstdlib-ocaml-rayz1 [armhf]

  pakiet wirtualny udostępniany przez libstdlib-ocaml

• dep: libstdlib-ocaml-vneg5 [s390x]

  pakiet wirtualny udostępniany przez libstdlib-ocaml

• dep: ocaml-base-4.14.1

  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	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	1 004,8 KiB	7 217,0 KiB	[lista plików]
arm64	1 004,8 KiB	7 217,0 KiB	[lista plików]
armhf	1 004,8 KiB	7 217,0 KiB	[lista plików]
i386	1 004,8 KiB	7 217,0 KiB	[lista plików]
ppc64el	1 004,8 KiB	7 217,0 KiB	[lista plików]
s390x	1 005,0 KiB	7 217,0 KiB	[lista plików]