[ Source: mathcomp-finmap ]
Paketti: libcoq-mathcomp-finmap (1.5.2-1 ja muut)
Links for libcoq-mathcomp-finmap
Debian-palvelut:
Imuroi lähdekoodipaketti mathcomp-finmap:
- [mathcomp-finmap_1.5.2-1.dsc]
- [mathcomp-finmap_1.5.2.orig.tar.gz]
- [mathcomp-finmap_1.5.2-1.debian.tar.xz]
Ylläpitäjät:
External Resources:
- Kotisivu [github.com]
Samankaltaisia paketteja:
finite sets and maps extension for Mathematical Components
This package provides an extension to manage finite sets, finite maps and finitely supported functions extending for the Mathematical Components library.
The Mathematical Components library is a coherent repository of general-purpose formalized mathematical theories for the Coq proof assistant.
Muut pakettiin libcoq-mathcomp-finmap liittyvät paketit
|
|
|
|
-
- dep: libcoq-mathcomp-ssreflect-0cpi5 [i386]
- näennäispaketti, jonka toteuttaa libcoq-mathcomp-ssreflect
-
- dep: libcoq-mathcomp-ssreflect-4wd38 [s390x]
- näennäispaketti, jonka toteuttaa libcoq-mathcomp-ssreflect
-
- dep: libcoq-mathcomp-ssreflect-7sy01 [amd64]
- näennäispaketti, jonka toteuttaa libcoq-mathcomp-ssreflect
-
- dep: libcoq-mathcomp-ssreflect-bczw3 [arm64]
- näennäispaketti, jonka toteuttaa libcoq-mathcomp-ssreflect
-
- dep: libcoq-mathcomp-ssreflect-l1wx5 [ppc64el]
- näennäispaketti, jonka toteuttaa libcoq-mathcomp-ssreflect
-
- dep: libcoq-mathcomp-ssreflect-qo8z6 [armhf]
- näennäispaketti, jonka toteuttaa libcoq-mathcomp-ssreflect
Imuroi libcoq-mathcomp-finmap
| Arkkitehtuuri | Versio | Paketin koko | Koko asennettuna | Tiedostot |
|---|---|---|---|---|
| amd64 | 1.5.2-1+b4 | 691.8 kt | 1,822.0 kt | [tiedostoluettelo] |
| arm64 | 1.5.2-1+b4 | 691.6 kt | 1,822.0 kt | [tiedostoluettelo] |
| armhf | 1.5.2-1+b4 | 691.5 kt | 1,820.0 kt | [tiedostoluettelo] |
| i386 | 1.5.2-1+b4 | 691.5 kt | 1,820.0 kt | [tiedostoluettelo] |
| ppc64el | 1.5.2-1+b4 | 691.6 kt | 1,822.0 kt | [tiedostoluettelo] |
| s390x | 1.5.2-1+b4 | 691.6 kt | 1,822.0 kt | [tiedostoluettelo] |