formed_3.3f-1.1_amd64.deb


Advertisement

Description

formed - formula editor for first-order logic formulae

Property Value
Distribution Debian 7 (Wheezy)
Repository Debian Main amd64
Package name formed
Package version 3.3f
Package release 1.1
Package architecture amd64
Package type deb
Installed size 409 B
Download size 181.30 KB
Official Mirror ftp.br.debian.org
Formed is a formula editor for first-order logic formulas that
lets you simplify quantified formulas by quantifier
transformation among other things.

Alternatives

Package Version Architecture Repository
formed_3.3f-1.1_i386.deb 3.3f i386 Debian Main
formed - - -

Requires

Name Value
libc6 >= 2.7
libx11-6 -
libxaw7 -
libxt6 -

Download

Type URL
Binary Package formed_3.3f-1.1_amd64.deb
Source Package otter

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install formed deb package:
    # sudo apt-get install formed

Files

Path
/usr/bin/formed
/usr/share/doc/formed/README
/usr/share/doc/formed/changelog.Debian.gz
/usr/share/doc/formed/changelog.gz
/usr/share/doc/formed/copyright
/usr/share/man/man1/formed.1.gz

Changelog

See otter_3.3f-1.1_amd64.deb changelog.

See Also

Package Description
fort77_1.15-8_all.deb Invoke f2c like a real compiler
fortune-mod_1.99.1-4_amd64.deb provides fortune cookies on demand
fortune-zh_1.9_amd64.deb Chinese Data files for fortune
fortunes-bg_1.1_all.deb Bulgarian data files for fortune
fortunes-bofh-excuses_1.2-2_all.deb BOFH excuses for fortune
fortunes-br_20080530_all.deb Data files with fortune cookies in Portuguese
fortunes-cs_2.0-1_all.deb Czech and Slovak data files for fortune
fortunes-de_0.30-1_all.deb German data files for fortune
fortunes-debian-hints_1.99_all.deb Debian Hints for fortune
fortunes-eo-ascii_20020729-4_all.deb Collection of esperanto fortunes (ascii encoding)
fortunes-eo-iso3_20020729-4_all.deb Collection of esperanto fortunes (ISO3 encoding)
fortunes-eo_20020729-4_all.deb Collection of esperanto fortunes
fortunes-es-off_1.32_all.deb Spanish fortune cookies (Offensive section)
fortunes-es_1.32_all.deb Spanish fortune database
fortunes-fr_0.65+nmu2_all.deb French fortunes cookies
Advertisement
Advertisement