Paketti: libcoq-math-classes (8.15.0-4 ja muut)

[ Source: coq-math-classes  ]

Abstract interfaces for mathematical structures for Coq

Muut pakettiin libcoq-math-classes liittyvät paketit

• dep: libcoq-bignums-881a5 [arm64]

  näennäispaketti, jonka toteuttaa libcoq-bignums

• dep: libcoq-bignums-9elb7 [armhf]

  näennäispaketti, jonka toteuttaa libcoq-bignums

• dep: libcoq-bignums-gj164 [s390x]

  näennäispaketti, jonka toteuttaa libcoq-bignums

• dep: libcoq-bignums-gjvs2 [i386]

  näennäispaketti, jonka toteuttaa libcoq-bignums

• dep: libcoq-bignums-u3wh0 [amd64]

  näennäispaketti, jonka toteuttaa libcoq-bignums

• dep: libcoq-bignums-ztof2 [ppc64el]

  näennäispaketti, jonka toteuttaa libcoq-bignums

• dep: libcoq-stdlib-bj4w1 [i386]

  näennäispaketti, jonka toteuttaa libcoq-stdlib

• dep: libcoq-stdlib-ctiy2 [arm64]

  näennäispaketti, jonka toteuttaa libcoq-stdlib

• dep: libcoq-stdlib-ewsr6 [amd64]

  näennäispaketti, jonka toteuttaa libcoq-stdlib

• dep: libcoq-stdlib-ig513 [ppc64el]

  näennäispaketti, jonka toteuttaa libcoq-stdlib

• dep: libcoq-stdlib-ntv04 [s390x]

  näennäispaketti, jonka toteuttaa libcoq-stdlib

• dep: libcoq-stdlib-u2uh4 [armhf]

  näennäispaketti, jonka toteuttaa libcoq-stdlib

Imuroi libcoq-math-classes

Imurointi kaikille saataville arkkitehtuureille

Arkkitehtuuri	Versio	Paketin koko	Koko asennettuna	Tiedostot
amd64	8.15.0-4+b1	2,902.0 kt	13,350.0 kt	[tiedostoluettelo]
arm64	8.15.0-4+b1	2,901.2 kt	13,350.0 kt	[tiedostoluettelo]
armhf	8.15.0-4+b1	2,899.9 kt	13,316.0 kt	[tiedostoluettelo]
i386	8.15.0-4+b1	2,900.0 kt	13,316.0 kt	[tiedostoluettelo]
ppc64el	8.15.0-4+b1	2,901.7 kt	13,350.0 kt	[tiedostoluettelo]
s390x	8.15.0-4+b1	2,901.6 kt	13,350.0 kt	[tiedostoluettelo]