[ bookworm ] [ trixie ] [ forky ] [ sid ]

[ Pakiet źródłowy: coquelicot ]

Pakiet: libcoq-coquelicot (3.4.3-1 i inne)

Odnośniki dla libcoq-coquelicot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego coquelicot:

Opiekunowie:

Zasoby zewnętrzne:

Strona internetowa [coquelicot.saclay.inria.fr]

Podobne pakiety:

Coq library for real analysis

This package provides a formalization of real analysis compatible with the Coq standard library.

Coq is a proof assistant for higher-order logic.

Inne pakiety związane z libcoq-coquelicot

wymaga

poleca

sugeruje

enhances

dep: libcoq-mathcomp-ssreflect-1rx88 [loong64]

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

pakiet wirtualny udostępniany przez libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-90jd2 [riscv64]

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

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

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

pakiet wirtualny udostępniany przez libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-kusa1 [ppc64]

pakiet wirtualny udostępniany przez libcoq-mathcomp-ssreflect

Pobieranie libcoq-coquelicot

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	3.4.3-1+b6	3 283,6 KiB	13 087,0 KiB	[lista plików]
arm64	3.4.3-1+b6	3 283,6 KiB	13 087,0 KiB	[lista plików]
loong64 (port nieoficjalny)	3.4.1-3	3 290,9 KiB	13 825,0 KiB	[lista plików]
ppc64 (port nieoficjalny)	3.4.1-3	3 290,4 KiB	13 825,0 KiB	[lista plików]
ppc64el	3.4.3-1+b7	3 284,1 KiB	13 087,0 KiB	[lista plików]
riscv64	3.4.3-1+b6	3 283,8 KiB	13 087,0 KiB	[lista plików]
s390x	3.4.3-1+b6	3 283,6 KiB	13 087,0 KiB	[lista plików]