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

[ Paquet source : coq-ext-lib ]

Paquet : libcoq-ext-lib (0.13.0-1 et autres)

Liens pour libcoq-ext-lib

Ressources Debian :

Télécharger le paquet source coq-ext-lib :

Responsables :

Ressources externes :

Page d'accueil [github.com]

Paquets similaires :

Collection of theories and plugins for Coq

This package provides a collection of theories and plugins that may be useful in other Coq developments.

Coq is a proof assistant for higher-order logic.

Autres paquets associés à libcoq-ext-lib

dépendances

recommandations

suggestions

enhances

dep: libcoq-stdlib-1ns11 [arm64]

paquet virtuel fourni par libcoq-stdlib
dep: libcoq-stdlib-68yx1 [amd64]

paquet virtuel fourni par libcoq-stdlib
dep: libcoq-stdlib-8jeh0 [s390x]

paquet virtuel fourni par libcoq-stdlib
dep: libcoq-stdlib-q0rh7 [ppc64el]

paquet virtuel fourni par libcoq-stdlib
dep: libcoq-stdlib-wthf1 [riscv64]

paquet virtuel fourni par libcoq-stdlib

Télécharger libcoq-ext-lib

Télécharger pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	0.13.0-1+b4	744,9 ko	2 817,0 ko	[liste des fichiers]
arm64	0.13.0-1+b4	745,0 ko	2 817,0 ko	[liste des fichiers]
ppc64el	0.13.0-1+b4	745,0 ko	2 817,0 ko	[liste des fichiers]
riscv64	0.13.0-1+b4	744,9 ko	2 817,0 ko	[liste des fichiers]
s390x	0.13.0-1+b5	744,9 ko	2 817,0 ko	[liste des fichiers]