Paquet : libcoq-reduction-effects (0.1.5-1 et autres)

[ Paquet source : coq-reduction-effects  ]

reduction effects for Coq

This plugin adds reduction side effects to some of the Coq reduction strategies.

Coq is a proof assistant for higher-order logic.

Autres paquets associés à libcoq-reduction-effects

• dep: libcoq-stdlib-84f80 [amd64]

  paquet virtuel fourni par libcoq-stdlib

• dep: libcoq-stdlib-8u5j8 [armhf]

  paquet virtuel fourni par libcoq-stdlib

• dep: libcoq-stdlib-97v84 [arm64]

  paquet virtuel fourni par libcoq-stdlib

• dep: libcoq-stdlib-l2kk4 [riscv64]

  paquet virtuel fourni par libcoq-stdlib

• dep: libcoq-stdlib-n0k10 [ppc64]

  paquet virtuel fourni par libcoq-stdlib

• dep: libcoq-stdlib-nhhu6 [ppc64el]

  paquet virtuel fourni par libcoq-stdlib

• dep: libcoq-stdlib-tp8b6 [i386]

  paquet virtuel fourni par libcoq-stdlib

• dep: libcoq-stdlib-wsmp7 [s390x]

  paquet virtuel fourni par libcoq-stdlib

Télécharger libcoq-reduction-effects

Télécharger pour toutes les architectures proposées

Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	0.1.5-1+b1	14,3 ko	100,0 ko	[liste des fichiers]
arm64	0.1.5-1+b1	14,5 ko	196,0 ko	[liste des fichiers]
armhf	0.1.5-1+b1	13,9 ko	90,0 ko	[liste des fichiers]
i386	0.1.5-1+b1	13,8 ko	98,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	0.1.4-4+b2	14,7 ko	196,0 ko	[liste des fichiers]
ppc64el	0.1.5-1+b1	14,5 ko	196,0 ko	[liste des fichiers]
riscv64	0.1.5-1+b2	14,2 ko	92,0 ko	[liste des fichiers]
s390x	0.1.5-1+b1	14,0 ko	100,0 ko	[liste des fichiers]