Paketti: libcoq-dpdgraph (1.0+8.18-1)

[ Source: coq-dpdgraph  ]

Coq plugin to extract dependencies between Coq objects

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 Coq plugin itself.

Muut pakettiin libcoq-dpdgraph liittyvät paketit

• dep: libcoq-stdlib-4ny94 [armhf]

  näennäispaketti, jonka toteuttaa libcoq-stdlib

• dep: libcoq-stdlib-6gs52 [amd64]

  näennäispaketti, jonka toteuttaa libcoq-stdlib

• dep: libcoq-stdlib-77cs8 [arm64]

  näennäispaketti, jonka toteuttaa libcoq-stdlib

• dep: libcoq-stdlib-b6j36 [ppc64el]

  näennäispaketti, jonka toteuttaa libcoq-stdlib

• dep: libcoq-stdlib-onxh8 [i386]

  näennäispaketti, jonka toteuttaa libcoq-stdlib

• dep: libcoq-stdlib-xmpq7 [s390x]

  näennäispaketti, jonka toteuttaa libcoq-stdlib

Imuroi libcoq-dpdgraph

Imurointi kaikille saataville arkkitehtuureille

Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
amd64	32.6 kt	240.0 kt	[tiedostoluettelo]
arm64	34.3 kt	272.0 kt	[tiedostoluettelo]
armhf	31.8 kt	192.0 kt	[tiedostoluettelo]
i386	31.0 kt	200.0 kt	[tiedostoluettelo]
ppc64el	33.4 kt	272.0 kt	[tiedostoluettelo]
s390x	32.4 kt	240.0 kt	[tiedostoluettelo]