[ bianca ]

Пакет-източник: spass (3.9-1.1)

Връзки за spass

Отговорници:

Външни препратки:

Начална страница [www.mpi-inf.mpg.de]

Следните двоични пакети са компилирани от този пакет-източник:

spass: automated theorem prover for first-order logic with equality

Други пакети, свързани с spass

зависимости при компилиране

зависимости при компилиране (архитектурно-независими)

adep: debhelper-compat (= 12)

Пакетът не е наличен
adep: bison

YACC-compatible parser generator
adep: flex

fast lexical analyzer generator

Download spass

Файл	Големина (в кБ)	контролна сума MD5
spass_3.9-1.1.debian.tar.xz	3,9 кБ	90cd0bbd8499d837c5465c50efa45f01
spass_3.9-1.1.dsc	2,0 кБ	0271dc40d5981f030ce3fb8441a0f90e
spass_3.9.orig.tar.gz	547,4 кБ	d5d1fd09574bd93e5c7c1781e89b743e

Хранилище на изходния код на пакета (СКП: Git): https://salsa.debian.org/science-team/spass.git
Хранилище на изходния код на пакета (за разглеждане през браузър): https://salsa.debian.org/science-team/spass