toutes les options
[  bianca  ]
[ Paquet source : dh-coq  ]

Paquet : dh-coq (0.14)

Liens pour dh-coq

Screenshot

Télécharger le paquet source dh-coq :

Responsables :

Paquets similaires :

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.

Autres paquets associés à dh-coq

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger dh-coq

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
all 6,8 ko25,0 ko [liste des fichiers]