Pakiet: libcoq-mathcomp-finmap (1.5.2-1 i inne)

Odnośniki dla libcoq-mathcomp-finmap

Zasoby systemu Debian:

Pobieranie pakietu źródłowego mathcomp-finmap:

Opiekunowie:

Zasoby zewnętrzne:

Strona internetowa [github.com]

Podobne pakiety:

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.

Inne pakiety związane z libcoq-mathcomp-finmap

wymaga

poleca

sugeruje

enhances

dep: libcoq-mathcomp-ssreflect-0cpi5 [i386]

pakiet wirtualny udostępniany przez libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-4wd38 [s390x]

pakiet wirtualny udostępniany przez libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-7sy01 [amd64]

pakiet wirtualny udostępniany przez libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-bczw3 [arm64]

pakiet wirtualny udostępniany przez libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-l1wx5 [ppc64el]

pakiet wirtualny udostępniany przez libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-qo8z6 [armhf]

pakiet wirtualny udostępniany przez libcoq-mathcomp-ssreflect

Pobieranie libcoq-mathcomp-finmap

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	1.5.2-1+b4	691,8 KiB	1 822,0 KiB	[lista plików]
arm64	1.5.2-1+b4	691,6 KiB	1 822,0 KiB	[lista plików]
armhf	1.5.2-1+b4	691,5 KiB	1 820,0 KiB	[lista plików]
i386	1.5.2-1+b4	691,5 KiB	1 820,0 KiB	[lista plików]
ppc64el	1.5.2-1+b4	691,6 KiB	1 822,0 KiB	[lista plików]
s390x	1.5.2-1+b4	691,6 KiB	1 822,0 KiB	[lista plików]