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

Paket: debian-coq-tools (0.11)

Links für debian-coq-tools

Screenshot

Debian-Ressourcen:

Quellcode-Paket dh-coq herunterladen:

Betreuer:

Ähnliche Pakete:

various tools to manage Coq-related Debian packages

Those tools make it easier to track package dependencies and possible breakage and maintain the whole Coq-in-Debian stack sane: - coq-planif-transition: find out which packages depend on some others for transition planification. - coq-wanna-build: compute the dak script for a planned transition.

Coq is a proof assistant for higher-order logic.

Andere Pakete mit Bezug zu debian-coq-tools

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

debian-coq-tools herunterladen

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