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

[ Paquet source : coq-simple-io ]

Paquet : libcoq-simple-io (1.8.0-2 et autres)

Liens pour libcoq-simple-io

Ressources Debian :

Télécharger le paquet source coq-simple-io :

Responsables :

Ressources externes :

Page d'accueil [github.com]

Paquets similaires :

Coq plugin for purely functional IO

This package provides a plugin to implement Input/Output (IO) programs directly in Coq, in a style similar to Haskell's.

Coq is a proof assistant for higher-order logic.

Autres paquets associés à libcoq-simple-io

dépendances

recommandations

suggestions

enhances

dep: libcoq-ext-lib-66g51 [i386]

paquet virtuel fourni par libcoq-ext-lib
dep: libcoq-ext-lib-fi3y7 [s390x]

paquet virtuel fourni par libcoq-ext-lib
dep: libcoq-ext-lib-ov5q1 [ppc64el]

paquet virtuel fourni par libcoq-ext-lib
dep: libcoq-ext-lib-sgfs9 [armhf]

paquet virtuel fourni par libcoq-ext-lib
dep: libcoq-ext-lib-spew7 [arm64]

paquet virtuel fourni par libcoq-ext-lib
dep: libcoq-ext-lib-usvi5 [amd64]

paquet virtuel fourni par libcoq-ext-lib
dep: libcoq-stdlib-bj4w1 [i386]

paquet virtuel fourni par libcoq-stdlib
dep: libcoq-stdlib-ctiy2 [arm64]

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

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

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

paquet virtuel fourni par libcoq-stdlib
dep: libcoq-stdlib-u2uh4 [armhf]

paquet virtuel fourni par libcoq-stdlib

Télécharger libcoq-simple-io

Télécharger pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	1.8.0-2+b1	87,6 ko	704,0 ko	[liste des fichiers]
arm64	1.8.0-2+b1	90,0 ko	854,0 ko	[liste des fichiers]
armhf	1.8.0-2+b1	86,4 ko	651,0 ko	[liste des fichiers]
i386	1.8.0-2+b1	85,9 ko	659,0 ko	[liste des fichiers]
ppc64el	1.8.0-2+b1	88,1 ko	726,0 ko	[liste des fichiers]
s390x	1.8.0-2+b1	87,6 ko	702,0 ko	[liste des fichiers]