» Ubuntu » Pakiety » lunar (23.04) » math » alt-ergo
focal  ] [  jammy  ] [  lunar  ]
[ Pakiet źródłowy: alt-ergo  ]

Pakiet: alt-ergo (2.4.2-2) [universe]

Odnośniki dla alt-ergo

Screenshot

Zasoby systemu Ubuntu:

Pobieranie pakietu źródłowego alt-ergo:

Opiekun:

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

Original Maintainers (usually from Debian):

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

Zasoby zewnętrzne:

Podobne pakiety:

Automatic theorem prover dedicated to program verification

Inne pakiety związane z alt-ergo

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie alt-ergo

Pobierz dla wszystkich dostępnych architektur
Architektura Rozmiar pakietu Rozmiar po instalacji Pliki
amd64 17 513,2 KiB64 896,0 KiB [lista plików]
arm64 18 285,5 KiB68 250,0 KiB [lista plików]
armhf 17 357,4 KiB59 587,0 KiB [lista plików]
ppc64el 17 945,2 KiB67 864,0 KiB [lista plików]
riscv64 17 909,3 KiB68 304,0 KiB [lista plików]
s390x 17 650,5 KiB66 750,0 KiB [lista plików]