Пакет: libcoq-mathcomp-finmap (1.5.2-1 и други)

[ Източник: mathcomp-finmap  ]

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.

Други пакети, свързани с libcoq-mathcomp-finmap

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

  виртуален пакет, предлаган от libcoq-mathcomp-ssreflect

• dep: libcoq-mathcomp-ssreflect-4wd38 [s390x]

  виртуален пакет, предлаган от libcoq-mathcomp-ssreflect

• dep: libcoq-mathcomp-ssreflect-7sy01 [amd64]

  виртуален пакет, предлаган от libcoq-mathcomp-ssreflect

• dep: libcoq-mathcomp-ssreflect-bczw3 [arm64]

  виртуален пакет, предлаган от libcoq-mathcomp-ssreflect

• dep: libcoq-mathcomp-ssreflect-l1wx5 [ppc64el]

  виртуален пакет, предлаган от libcoq-mathcomp-ssreflect

• dep: libcoq-mathcomp-ssreflect-qo8z6 [armhf]

  виртуален пакет, предлаган от libcoq-mathcomp-ssreflect

Изтегляне на libcoq-mathcomp-finmap

Изтегляне за всички налични архитектури

Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
amd64	1.5.2-1+b4	691,8 кБ	1 822,0 кБ	[списък на файловете]
arm64	1.5.2-1+b4	691,6 кБ	1 822,0 кБ	[списък на файловете]
armhf	1.5.2-1+b4	691,5 кБ	1 820,0 кБ	[списък на файловете]
i386	1.5.2-1+b4	691,5 кБ	1 820,0 кБ	[списък на файловете]
ppc64el	1.5.2-1+b4	691,6 кБ	1 822,0 кБ	[списък на файловете]
s390x	1.5.2-1+b4	691,6 кБ	1 822,0 кБ	[списък на файловете]