Alle Optionen
bookworm  ] [  sid  ]
[ Quellcode: dh-coq  ]

Paket: dh-coq (0.5)

Links für dh-coq

Screenshot

Debian-Ressourcen:

Quellcode-Paket dh-coq herunterladen:

Betreuer:

Ähnliche Pakete:

debhelper tool for Coq-related Debian packages

dh-coq is a tool to help maintain Coq-related Debian packages. It computes checksums to tighten dependencies between them.

Coq is a proof assistant for higher-order logic.

Andere Pakete mit Bezug zu dh-coq

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • erweitert

dh-coq herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
all 7,3 kB26,0 kB [Liste der Dateien]