[ bookworm ] [ trixie ] [ sid ]

[ Paquet source : ]

Paquet : libcoq-menhirlib (20231231+ds-4) [debports]

Liens pour libcoq-menhirlib

Ressources Debian :

Rapports de bogues

Télécharger le paquet source :

Introuvable

Responsables :

Ressources externes :

Page d'accueil [coquelicot.inria.fr]

Paquets similaires :

support library for Coq-verified Menhir parsers

This package provides a support library for verified Coq parsers produced by Menhir.

Menhir is a LR(1) parser generator for the OCaml programming language and Coq is a proof assistant for higher-order logic.

Autres paquets associés à libcoq-menhirlib

dépendances

recommandations

suggestions

enhances

dep: libcoq-stdlib-twvz5

paquet virtuel fourni par libcoq-stdlib

Télécharger libcoq-menhirlib

Télécharger pour toutes les architectures proposées
Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
ppc64 (portage non officiel)	1 294,5 ko	5 007,0 ko	[liste des fichiers]