formed-dbgsym 3.3f-1.1 (s390x binary) in ubuntu xenial
Formed is a formula editor for first-order logic formulas that
lets you simplify quantified formulas by quantifier
transformation among other things.
Details
- Package version:
- 3.3f-1.1
- Status:
- Published
- Component:
- universe
- Priority:
- Optional
Downloadable files
s390x build of otter 3.3f-1.1 in ubuntu xenial RELEASE produced
these files:
- formed-dbgsym_3.3f-1.1_s390x.ddeb (284.4 KiB)
Package relationships
- Depends on: