Paketti: libcoq-record-update (0.3.4-2 ja muut)

[ 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.

Muut pakettiin libcoq-record-update liittyvät paketit

• dep: libcoq-stdlib-4ftr7 [amd64]

  näennäispaketti, jonka toteuttaa libcoq-stdlib

• dep: libcoq-stdlib-5b3c9 [arm64]

  näennäispaketti, jonka toteuttaa libcoq-stdlib

• dep: libcoq-stdlib-6mgv9 [riscv64]

  näennäispaketti, jonka toteuttaa libcoq-stdlib

• dep: libcoq-stdlib-93wq5 [ppc64el]

  näennäispaketti, jonka toteuttaa libcoq-stdlib

• dep: libcoq-stdlib-n0k10 [ppc64]

  näennäispaketti, jonka toteuttaa libcoq-stdlib

• dep: libcoq-stdlib-q1ie4 [s390x]

  näennäispaketti, jonka toteuttaa libcoq-stdlib

• dep: libcoq-stdlib-rhfg4 [armhf]

  näennäispaketti, jonka toteuttaa libcoq-stdlib

• dep: libcoq-stdlib-ry8i6 [i386]

  näennäispaketti, jonka toteuttaa libcoq-stdlib

Imuroi libcoq-record-update

Imurointi kaikille saataville arkkitehtuureille

Arkkitehtuuri	Versio	Paketin koko	Koko asennettuna	Tiedostot
amd64	0.3.4-2	14.2 kt	60.0 kt	[tiedostoluettelo]
arm64	0.3.4-2	14.2 kt	60.0 kt	[tiedostoluettelo]
armhf	0.3.4-2	14.2 kt	60.0 kt	[tiedostoluettelo]
i386	0.3.4-2	14.2 kt	60.0 kt	[tiedostoluettelo]
ppc64 (epävirallinen siirros)	0.3.2-1+b2	14.2 kt	61.0 kt	[tiedostoluettelo]
ppc64el	0.3.4-2	14.2 kt	60.0 kt	[tiedostoluettelo]
riscv64	0.3.4-2	14.2 kt	60.0 kt	[tiedostoluettelo]
s390x	0.3.4-2	14.2 kt	60.0 kt	[tiedostoluettelo]