» Ubuntu » Packages » lucid (10.04LTS) » Source » science » eprover
lucid  ]

Source Package: eprover (1.0.004-1ubuntu1) [universe]

Links for eprover

Ubuntu Resources:

Maintainer:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

It should generally not be necessary for users to contact the original maintainer.

External Resources:

The following binary packages are built from this source package:
eprover
Theorem prover for first-order logic with equality
eprover-doc-html
Theorem prover for first-order logic with equality - HTML doc
eprover-examples
Theorem prover for first-order logic with equality - examples

Other Packages Related to eprover

  • build-depends
  • build-depends-indep
  • adep: debhelper (>= 7)
    helper programs for debian/rules
  • adep: autotools-dev
    Update infrastructure for config.{guess,sub} files
  • adep: sed (>= 4.1)
    The GNU sed stream editor
  • adep: mawk (>= 1.3)
    a pattern scanning and text processing language
    or gawk (>= 3.1)
    GNU awk, a pattern scanning and processing language
    or awk
    virtual package provided by gawk, mawk, original-awk

Download eprover

FileSize (in kB)MD5 checksum
eprover_1.0.004-1ubuntu1.dsc 2.1 kB 37c1d6f3ddb713723b1a3cf2e5c14709
eprover_1.0.004.orig.tar.gz 1,335.3 kB ed52b352fc0c2efe2f62c7f0d14cb5a1
eprover_1.0.004-1ubuntu1.diff.gz 21.3 kB e62ed0e67b04345911ce5721eb7b8251
Debian Package Source Repository (VCS: Git)
git://git.debian.org/git/debian-science/packages/eprover.git
Debian Package Source Repository (Browsable)
http://git.debian.org/?p=debian-science/packages/eprover.git