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

[ Paquet source : coquelicot ]

Paquet : libcoq-coquelicot (3.4.3-1 et autres)

Liens pour libcoq-coquelicot

Ressources Debian :

Télécharger le paquet source coquelicot :

Responsables :

Ressources externes :

Page d'accueil [coquelicot.saclay.inria.fr]

Paquets similaires :

Coq library for real analysis

This package provides a formalization of real analysis compatible with the Coq standard library.

Coq is a proof assistant for higher-order logic.

Autres paquets associés à libcoq-coquelicot

dépendances

recommandations

suggestions

enhances

dep: libcoq-mathcomp-ssreflect-1rx88 [loong64]

paquet virtuel fourni par libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-65232 [s390x]

paquet virtuel fourni par libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-90jd2 [riscv64]

paquet virtuel fourni par libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-eich3 [arm64]

paquet virtuel fourni par libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-hau92 [ppc64el]

paquet virtuel fourni par libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-ilir5 [amd64]

paquet virtuel fourni par libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-kusa1 [ppc64]

paquet virtuel fourni par libcoq-mathcomp-ssreflect

Télécharger libcoq-coquelicot

Télécharger pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	3.4.3-1+b6	3 283,6 ko	13 087,0 ko	[liste des fichiers]
arm64	3.4.3-1+b6	3 283,6 ko	13 087,0 ko	[liste des fichiers]
loong64 (portage non officiel)	3.4.1-3	3 290,9 ko	13 825,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	3.4.1-3	3 290,4 ko	13 825,0 ko	[liste des fichiers]
ppc64el	3.4.3-1+b7	3 284,1 ko	13 087,0 ko	[liste des fichiers]
riscv64	3.4.3-1+b6	3 283,8 ko	13 087,0 ko	[liste des fichiers]
s390x	3.4.3-1+b6	3 283,6 ko	13 087,0 ko	[liste des fichiers]