all options
wheezy  ] [  jessie  ] [  stretch  ] [  sid  ]
[ Source: otter  ]

Package: formed (3.3f-1.1 and others)

Links for formed


Debian Resources:

Download Source Package otter:


Similar packages:

formula editor for first-order logic formulae

Formed is a formula editor for first-order logic formulas that lets you simplify quantified formulas by quantifier transformation among other things.

Other Packages Related to formed

  • depends
  • recommends
  • suggests
  • enhances

Download formed

Download for all available architectures
Architecture Version Package Size Installed Size Files
alpha (unofficial port) 3.3f-1.1 197.0 kB502.0 kB [list of files]
amd64 3.3f-1.1 181.3 kB409.0 kB [list of files]
arm64 3.3f-1.1 130.5 kB329.0 kB [list of files]
armel 3.3f-1.1 159.9 kB372.0 kB [list of files]
armhf 3.3f-1.1+b1 129.6 kB259.0 kB [list of files]
hppa (unofficial port) 3.3f-1.1 143.3 kB368.0 kB [list of files]
hurd-i386 3.3f-1.1+b1 171.8 kB402.0 kB [list of files]
i386 3.3f-1.1 171.8 kB407.0 kB [list of files]
kfreebsd-amd64 3.3f-1.1 181.7 kB377.0 kB [list of files]
kfreebsd-i386 3.3f-1.1 171.9 kB376.0 kB [list of files]
m68k (unofficial port) 3.3f-1.1 137.1 kB356.0 kB [list of files]
mips 3.3f-1.1 164.3 kB422.0 kB [list of files]
mips64el 3.3f-1.1 158.7 kB496.0 kB [list of files]
mipsel 3.3f-1.1 164.8 kB422.0 kB [list of files]
powerpc 3.3f-1.1 168.2 kB399.0 kB [list of files]
powerpcspe (unofficial port) 3.3f-1.1 134.7 kB418.0 kB [list of files]
ppc64 (unofficial port) 3.3f-1.1+b1 141.5 kB507.0 kB [list of files]
ppc64el 3.3f-1.1 142.5 kB439.0 kB [list of files]
s390x 3.3f-1.1 186.0 kB457.0 kB [list of files]
sh4 (unofficial port) 3.3f-1.1 170.6 kB368.0 kB [list of files]
sparc64 (unofficial port) 3.3f-1.1 163.4 kB348.0 kB [list of files]
x32 (unofficial port) 3.3f-1.1 160.6 kB384.0 kB [list of files]