[ Source: otter ]
Package: formed (3.3f-1.1 and others)
formula editor for first-order logic formulae
Other Packages Related to formed
|
|
|
-
- dep: libc0.1 (>= 2.7) [kfreebsd-amd64, kfreebsd-i386]
- Embedded GNU C Library: Shared libraries
also a virtual package provided by libc0.1-udeb
-
- dep: libc0.3 (>= 2.7) [hurd-i386]
- Embedded GNU C Library: Shared libraries
also a virtual package provided by libc0.3-udeb
-
- dep: libc6 (>= 2.11) [powerpcspe]
- Embedded GNU C Library: Shared libraries
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.13) [s390x, sh4]
- dep: libc6 (>= 2.3.5-1) [hppa, m68k]
- dep: libc6 (>= 2.5) [avr32]
- dep: libc6 (>= 2.7) [amd64, armel, armhf, i386, mips, mipsel, powerpc, s390, sparc, sparc64]
-
- dep: libc6.1 (>= 2.7) [alpha, ia64]
- Embedded GNU C Library: Shared libraries
also a virtual package provided by libc6.1-udeb
-
- dep: libx11-6
- X11 client-side library
-
- dep: libxaw7
- X11 Athena Widget library
-
- dep: libxt6
- X11 toolkit intrinsics library
-
- sug: otter
- resolution-style theorem prover
Download formed
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| alpha (unofficial port) | 3.3f-1.1 | 197.0 kB | 502.0 kB | [list of files] |
| amd64 | 3.3f-1.1 | 181.3 kB | 409.0 kB | [list of files] |
| armel | 3.3f-1.1 | 159.9 kB | 372.0 kB | [list of files] |
| armhf | 3.3f-1.1 | 149.7 kB | 275.0 kB | [list of files] |
| avr32 (unofficial port) | 3.3f-1 | 163.0 kB | 328.0 kB | [list of files] |
| hppa | 3.3f-1 | 179.5 kB | 416.0 kB | [list of files] |
| hurd-i386 | 3.3f-1.1 | 172.0 kB | 407.0 kB | [list of files] |
| i386 | 3.3f-1.1 | 171.8 kB | 407.0 kB | [list of files] |
| ia64 | 3.3f-1.1 | 276.2 kB | 886.0 kB | [list of files] |
| kfreebsd-amd64 | 3.3f-1.1 | 181.7 kB | 377.0 kB | [list of files] |
| kfreebsd-i386 | 3.3f-1.1 | 171.9 kB | 376.0 kB | [list of files] |
| m68k (unofficial port) | 3.3f-1 | 138.8 kB | 356.0 kB | [list of files] |
| mips | 3.3f-1.1 | 164.3 kB | 422.0 kB | [list of files] |
| mipsel | 3.3f-1.1 | 164.8 kB | 422.0 kB | [list of files] |
| powerpc | 3.3f-1.1 | 168.2 kB | 399.0 kB | [list of files] |
| powerpcspe (unofficial port) | 3.3f-1+b100 | 168.1 kB | 416.0 kB | [list of files] |
| s390 | 3.3f-1.1 | 178.8 kB | 415.0 kB | [list of files] |
| s390x | 3.3f-1.1 | 186.0 kB | 457.0 kB | [list of files] |
| sh4 (unofficial port) | 3.3f-1.1 | 170.6 kB | 368.0 kB | [list of files] |
| sparc | 3.3f-1.1 | 160.7 kB | 384.0 kB | [list of files] |
| sparc64 (unofficial port) | 3.3f-1.1 | 163.4 kB | 348.0 kB | [list of files] |