[ bookworm ] [ trixie ] [ forky ] [ sid ]

[ Paquet source : coq-hierarchy-builder ]

Paquet : libcoq-hierarchy-builder (1.8.1-1 et autres)

Liens pour libcoq-hierarchy-builder

Ressources Debian :

Télécharger le paquet source coq-hierarchy-builder :

Responsables :

Ressources externes :

Page d'accueil [github.com]

Paquets similaires :

build hierarchies of algebraic structures in Coq

This software provides high-level commands to build hierarchies of algebraic structures in the Coq system.

Autres paquets associés à libcoq-hierarchy-builder

dépendances

recommandations

suggestions

enhances

dep: libcoq-elpi-w5ju1

paquet virtuel fourni par libcoq-elpi

rec: ocaml-findlib

management tool for OCaml libraries

Télécharger libcoq-hierarchy-builder

Télécharger pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	1.8.1-1+b4	537,9 ko	1 667,0 ko	[liste des fichiers]