Paquet : debian-coq-tools (0.13)

[ Paquet source : dh-coq  ]

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.

Autres paquets associés à debian-coq-tools

• dep: python3

  langage orienté objet interactif de haut niveau – version par défaut de Python 3

Télécharger debian-coq-tools

Télécharger pour toutes les architectures proposées

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
all	9,4 ko	38,0 ko	[liste des fichiers]