| Paketname | formed |
| Beschreibung | formula editor for first-order logic formulae |
| Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
| Version | 3.3f-1 |
| Sektion | math |
| Priorität | optional |
| Installierte Größe | 372 Byte |
| Hängt ab von | libc6 (>= 2.3.6-6), libx11-6, libxaw7, libxt6 |
| Empfohlene Pakete | |
| Paketbetreuer | Peter Collingbourne |
| Quelle | otter |
| Paketgröße | 157358 Byte |
| Prüfsumme MD5 | ccc52c5fe91ed06ee18ddfc881c7f9fb |
| Prüfsumme SHA1 | 17ab5ca163fa004b3fcd68f6d9d72e0b89859f88 |
| Prüfsumme SHA256 | 170b1db323af86fe3e2863dc46c8befe61847da23bdcf837d6f149e120437afa |
| Link zum Herunterladen | formed_3.3f-1_i386.deb |
| Ausführliche Beschreibung | Formed is a formula editor for first-order logic formulas that
lets you simplify quantified formulas by quantifier
transformation among other things.
|