Pakiet: libcoq-mathcomp-character (2.3.0-1build19) [universe]

Odnośniki dla libcoq-mathcomp-character

Pobieranie pakietu źródłowego ssreflect:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

It should generally not be necessary for users to contact the original maintainer.

dep: libcoq-hierarchy-builder-1ine3 [s390x]

pakiet wirtualny udostępniany przez libcoq-hierarchy-builder
dep: libcoq-hierarchy-builder-71xa1 [ppc64el]

pakiet wirtualny udostępniany przez libcoq-hierarchy-builder
dep: libcoq-hierarchy-builder-heu40 [riscv64]

pakiet wirtualny udostępniany przez libcoq-hierarchy-builder
dep: libcoq-hierarchy-builder-trjw2 [amd64]

pakiet wirtualny udostępniany przez libcoq-hierarchy-builder
dep: libcoq-hierarchy-builder-w5473 [arm64]

pakiet wirtualny udostępniany przez libcoq-hierarchy-builder
dep: libcoq-mathcomp-field (= 2.3.0-1build19)

Mathematical Components library for Coq (field)
dep: libcoq-stdlib-40ze2 [riscv64]

pakiet wirtualny udostępniany przez libcoq-stdlib
dep: libcoq-stdlib-83lq0 [amd64]

pakiet wirtualny udostępniany przez libcoq-stdlib
dep: libcoq-stdlib-cdzb0 [ppc64el]

pakiet wirtualny udostępniany przez libcoq-stdlib
dep: libcoq-stdlib-ey0q7 [arm64]

pakiet wirtualny udostępniany przez libcoq-stdlib
dep: libcoq-stdlib-j7um9 [s390x]

pakiet wirtualny udostępniany przez libcoq-stdlib

Pobierz dla wszystkich dostępnych architektur
Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	4 662,2 KiB	15 303,0 KiB	[lista plików]
arm64	4 662,4 KiB	15 303,0 KiB	[lista plików]
ppc64el	4 660,9 KiB	15 303,0 KiB	[lista plików]
riscv64	4 661,0 KiB	15 301,0 KiB	[lista plików]
s390x	4 661,4 KiB	15 303,0 KiB	[lista plików]