alla flaggor
bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Källkod: coq-dpdgraph  ]

Paket: libcoq-dpdgraph (1.0+8.20-1 och andra)

Länkar för libcoq-dpdgraph

Screenshot

Debianresurser:

Hämta källkodspaketet coq-dpdgraph:

Ansvariga:

Externa resurser:

Liknande paket:

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.

Andra paket besläktade med libcoq-dpdgraph

  • beror
  • rekommenderar
  • föreslår
  • enhances

Hämta libcoq-dpdgraph

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Version Paketstorlek Installerad storlek Filer
amd64 1.0+8.20-1+b4 36,0 kbyte253,0 kbyte [filförteckning]
arm64 1.0+8.20-1+b4 37,1 kbyte269,0 kbyte [filförteckning]
ppc64el 1.0+8.20-1+b4 36,3 kbyte269,0 kbyte [filförteckning]
riscv64 1.0+8.20-1+b4 36,6 kbyte245,0 kbyte [filförteckning]
s390x 1.0+8.20-1+b4 36,1 kbyte253,0 kbyte [filförteckning]