Пакет исходного кода: spass (3.9-1.1)
Ссылки для spass
Ресурсы Debian:
- Сообщения об ошибках
- Developer Information
- Debian журнал изменений
- Файл авторских прав
- Репозиторий исходного кода Debian (Git)
- Отслеживание заплат Debian
Сопровождающие:
Внешние ресурсы:
- Сайт [www.mpi-inf.mpg.de]
Из этого пакета исходного кода собираются следующие двоичные пакеты:
- spass
- automated theorem prover for first-order logic with equality
Другие пакеты, относящиеся к spass
|
|
Download spass
| Файл | Размер (в Кб) | Контрольная сумма MD5 |
|---|---|---|
| spass_3.9-1.1.dsc | 2,0 Кб | 0271dc40d5981f030ce3fb8441a0f90e |
| spass_3.9.orig.tar.gz | 547,4 Кб | d5d1fd09574bd93e5c7c1781e89b743e |
| spass_3.9-1.1.debian.tar.xz | 3,9 Кб | 90cd0bbd8499d837c5465c50efa45f01 |
- Репозиторий пакетов исходного кода Debian (VCS: Git)
- https://salsa.debian.org/science-team/spass.git
- Репозиторий пакетов исходного кода Debian (доступен просмотр)
- https://salsa.debian.org/science-team/spass