toutes les options
bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Paquet source : coq-dpdgraph  ]

Paquet : coq-dpdgraph-tools (1.0+8.20-1 et autres)

Liens pour coq-dpdgraph-tools

Screenshot

Ressources Debian :

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

Responsables :

Ressources externes :

Paquets similaires :

Coq plugin to extract dependencies between Coq objects (tools)

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 tools associated to this plugin.

Autres paquets associés à coq-dpdgraph-tools

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger coq-dpdgraph-tools

Télécharger pour toutes les architectures proposées
Architecture Version Taille du paquet Espace occupé une fois installé Fichiers
amd64 1.0+8.20-1+b4 1 090,7 ko7 909,0 ko [liste des fichiers]
arm64 1.0+8.20-1+b4 1 091,2 ko7 909,0 ko [liste des fichiers]
ppc64el 1.0+8.20-1+b4 1 090,9 ko7 909,0 ko [liste des fichiers]
riscv64 1.0+8.20-1+b4 1 091,1 ko7 909,0 ko [liste des fichiers]
s390x 1.0+8.20-1+b4 1 091,1 ko7 909,0 ko [liste des fichiers]