Pakiet: libcoq-simple-io (1.11.0-1build4) [universe]

Odnośniki dla libcoq-simple-io

Pobieranie pakietu źródłowego coq-simple-io:

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-ext-lib-bbvw4 [ppc64el]

pakiet wirtualny udostępniany przez libcoq-ext-lib
dep: libcoq-ext-lib-fxn19 [riscv64]

pakiet wirtualny udostępniany przez libcoq-ext-lib
dep: libcoq-ext-lib-kvhf9 [amd64]

pakiet wirtualny udostępniany przez libcoq-ext-lib
dep: libcoq-ext-lib-tzth6 [arm64]

pakiet wirtualny udostępniany przez libcoq-ext-lib
dep: libcoq-ext-lib-x78v1 [s390x]

pakiet wirtualny udostępniany przez libcoq-ext-lib
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	244,2 KiB	1 121,0 KiB	[lista plików]
arm64	248,9 KiB	1 282,0 KiB	[lista plików]
ppc64el	246,5 KiB	1 155,0 KiB	[lista plików]
riscv64	257,9 KiB	1 276,0 KiB	[lista plików]
s390x	245,0 KiB	1 141,0 KiB	[lista plików]