Paquet : libcoq-bignums (9.0.0+coq8.20-1 et autres)

Liens pour libcoq-bignums

Ressources Debian :

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

Responsables :

Ressources externes :

Page d'accueil [github.com]

Paquets similaires :

Coq library for big numbers

This package provides big numbers (natural numbers, integers and rationals) in Coq, as BigN, BigZ and BigQ, which used to be part of the standard library.

Coq is a proof assistant for higher-order logic.

Autres paquets associés à libcoq-bignums

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-mz9g4 [loong64]

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

paquet virtuel fourni par libcoq-stdlib
dep: libcoq-stdlib-twvz5 [ppc64]

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

paquet virtuel fourni par libcoq-stdlib

Télécharger libcoq-bignums

Télécharger pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	9.0.0+coq8.20-1+b9	1 869,3 ko	7 601,0 ko	[liste des fichiers]
arm64	9.0.0+coq8.20-1+b8	1 869,8 ko	7 641,0 ko	[liste des fichiers]
loong64 (portage non officiel)	9.0.0+coq8.20-1+b1	1 885,8 ko	8 631,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	9.0.0+coq8.20-1+b1	1 885,5 ko	8 663,0 ko	[liste des fichiers]
ppc64el	9.0.0+coq8.20-1+b9	1 869,3 ko	7 641,0 ko	[liste des fichiers]
riscv64	9.0.0+coq8.20-1+b8	1 869,1 ko	7 593,0 ko	[liste des fichiers]
s390x	9.0.0+coq8.20-1+b9	1 869,3 ko	7 601,0 ko	[liste des fichiers]