Pakiet źródłowy: spass (3.9-1.1)
Odnośniki dla spass
Zasoby systemu Debian:
- Raporty o błędach
- Developer Information
- Dziennik zmian w systemie Debian
- Informacje nt. praw autorskich
- Repozytorium kodu źródłowego Debiana (Git)
- Śledzenie łatek systemu Debian
Opiekunowie:
Zasoby zewnętrzne:
- Strona internetowa [www.mpi-inf.mpg.de]
Z tego pakietu źródłowego zbudowano następujące pakiety binarne:
- spass
- automated theorem prover for first-order logic with equality
Inne pakiety związane z spass
|
|
Download spass
| Plik | Rozmiar (w KiB) | Suma kontrolna MD5 |
|---|---|---|
| spass_3.9-1.1.dsc | 2,0 KiB | 0271dc40d5981f030ce3fb8441a0f90e |
| spass_3.9.orig.tar.gz | 547,4 KiB | d5d1fd09574bd93e5c7c1781e89b743e |
| spass_3.9-1.1.debian.tar.xz | 3,9 KiB | 90cd0bbd8499d837c5465c50efa45f01 |
- Repozytorium kodu źródłowego Debiana (VCS: Git)
- https://salsa.debian.org/science-team/spass.git
- Repozytorium kodu źródłowego Debiana (do przeglądania)
- https://salsa.debian.org/science-team/spass