Packages of Ubuntu / stonking

Component

Architecture

Package name

Version

Source package

Component	Architecture	Package	Version	Priority	Size	Description	Integrity	Actions
universe	s390x	spass	3.9-1.1build1	optional	854 B	automated theorem prover for first-order logic with equality
universe	s390x	spass	3.9-1.1build1	optional	854 B	automated theorem prover for first-order logic with equality
universe	s390x	spass	3.9-1.1build1	optional	854 B	automated theorem prover for first-order logic with equality
universe	s390x	spass	3.9-1.1build1	optional	854 B	automated theorem prover for first-order logic with equality
universe	s390x	spass	3.9-1.1build1	optional	854 B	automated theorem prover for first-order logic with equality

Showing 1–5 of 5 packages

Page 1 of 1