Package "mona"

Name:	mona
Description:	theorem prover based on automata
Latest version:	1.4-13-3
Release:	precise (12.04)
Level:	base
Repository:	universe
Homepage:	http://www.brics.dk/~amoeller/mona/index.html

Links

Raw Package Information

All versions of this package

List of files in package

Repository home page

Download "mona"

32-bit deb package

64-bit deb package

APT INSTALL

Other versions of "mona" in Precise

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

Changelog

Version: DELETED	2012-03-06 10:44:32 UTC
No changelog for deleted or moved packages.

Version: 1.4-13-3	2011-12-18 16:42:55 UTC
`mona (1.4-13-3) unstable; urgency=low * debian/control: - Set maintainer to debian-science - Add Vcs-Git/Vcs-Browser fields - Set priority down to extra - Set section to science -- Ralf Treinen Wed, 11 May 2011 22:16:26 +0200`

Version: DELETED	2011-12-18 14:32:59 UTC
No changelog for deleted or moved packages.

About - Send Feedback to @ubuntu_updates