Paquet : libcoq-record-update (0.3.3-1 et autres)

[ Paquet source : coq-record-update  ]

automatic record fields updaters for Coq

This package provides an automatic and generic way to update record fields in Coq.

Coq is a proof assistant for higher-order logic.

Autres paquets associés à libcoq-record-update

• 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-record-update

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

Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	0.3.3-1+b1	14,3 ko	61,0 ko	[liste des fichiers]
arm64	0.3.3-1+b1	14,2 ko	61,0 ko	[liste des fichiers]
armhf	0.3.3-1+b1	14,2 ko	61,0 ko	[liste des fichiers]
i386	0.3.3-1+b1	14,2 ko	61,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	0.3.2-1+b2	14,2 ko	61,0 ko	[liste des fichiers]
ppc64el	0.3.3-1+b1	14,3 ko	61,0 ko	[liste des fichiers]
riscv64	0.3.3-1+b2	14,3 ko	61,0 ko	[liste des fichiers]
s390x	0.3.3-1+b1	14,2 ko	61,0 ko	[liste des fichiers]