UbuntuUpdates.org

Package "otter"

Name: otter

Description:

resolution-style theorem prover
Latest version: 3.3f-1.1
Release: precise (12.04)
Level: base
Repository: universe

Links

All versions of this package
Bug fixes

List of files in package
Repository home page

Download "otter"

32-bit deb package
64-bit deb package
APT INSTALL

Other versions of "otter" in Precise

No other version of this package is available in the Precise release.

Packages in group

Deleted packages are displayed in grey.


Changelog

Version: *DELETED* 2012-03-06 10:49:37 UTC
No changelog for deleted or moved packages.

Version: 3.3f-1.1 2011-12-18 16:46:29 UTC

otter (3.3f-1.1) unstable; urgency=low

  * Non-maintainer upload.
  * source/formed/Makefile: Added -lX11 -lXt. Closes: #555879.
  * Fixed debhelper-but-no-misc-depends.
  * Fixed debian-rules-ignores-make-clean-error.

 -- Bart Martens Tue, 11 Oct 2011 19:12:10 +0200
555879 FTBFS with binutils-gold - Debian Bug report logs

Version: *DELETED* 2011-12-18 14:34:19 UTC
No changelog for deleted or moved packages.


About   -   Send Feedback to @ubuntu_updates