mona - theorem prover based on automata

Property Value
Distribution Debian 10 (Buster)
Repository Debian Main i386
Package filename mona_1.4-17-1+b1_i386.deb
Package name mona
Package version 1.4
Package release 17-1+b1
Package architecture i386
Package type deb
Category field::mathematics role::program science scope::utility
License -
Maintainer Debian Science Maintainers <>
Download size 395.68 KB
Installed size 1.30 MB
MONA is a tool that translates formulas in the logics WS1S or WS2S
into finite-state automata represented by BDDs.  The formulas may
express search patterns, temporal properties of reactive systems,
parse tree constraints, etc.  MONA also analyses the automaton
resulting from the compilation, and determines whether the formula is
valid and, if the formula is not valid, generates a counter-example.
Documentation is available from the MONA website


Package Version Architecture Repository
mona_1.4-17-1+b1_amd64.deb 1.4 amd64 Debian Main
mona - - -


Name Value
libc6 >= 2.7
libgcc1 >= 1:3.0
libstdc++6 >= 5


Type URL
Binary Package mona_1.4-17-1+b1_i386.deb
Source Package mona

Install Howto

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




2016-03-26 - Ralf Treinen <>
mona (1.4-17-1) unstable; urgency=medium
* New upstream version. This version fixes the default alloc used
(closes: #806139).
* Standards-version 3.9.7 (no change)
* Update URL in Vcs-*fields
* Dropped XS-testsuite field which is no longer useful
* d/copyright: updated libtool entry
2015-07-08 - Matthias Klose <>
mona (1.4-15-1.1) unstable; urgency=medium
* Non-maintainer upload.
* Build with -fgnu89-inline. Closes: #778011.
2014-08-18 - Ralf Treinen <>
mona (1.4-15-1) unstable; urgency=medium
* new upstream release
* add debian/watch
* dh compatibility level 9
* standards-version 3.9.5:
- migrate debian/copyright to machine-readable format 1.0
* rewrite the package build system:
- start with the standard dh file for debian/rules
- override dh_install to remove:
- mona-mode.el which upstream's makefile installs in the wrong dir
- usr/lib/*/*.la which we don't need
- install mona-mode.el via debian/mona.install
- install Examples/ via debian/mona.examples
* we don't use chrpath any more, so we drop it from the build-dependencies
* refresh lintian override non-dev-pkg-with-shlib-symlink (new location
of lib files)
* add autopkgtests, one test script: valid
2011-05-11 - Ralf Treinen <>
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
2011-04-24 - Ralf Treinen <>
mona (1.4-13-2) unstable; urgency=low
* Switch to source format 3.0 (quilt)
* Do not install .la files (closes: #622521)
* Standards-Version 3.9.2 (no change)
* Short description: do not start with an article
* Add dependency on ${misc:depends}
2009-08-27 - Ralf Treinen <>
mona (1.4-13-1) unstable; urgency=low
* New upstream release
* debian/rules:
- we do not have to calculate DEB_HOST_ARCH ourselves
- dh-clean -k => dh_prep
- Drop usage of dpatch, link to recent config.{sub.guess} during build.
- use variable $(INSTALLROOT)
- install lintian overrides
* Lintian overrides for private libraries 
* dh-compat level 7
* Change section to math
* Standards-Version 3.8.3 (no change)
* Remove build-dependency on dpatch
2008-04-15 - Ralf Treinen <>
mona (1.4-10-1) unstable; urgency=low
* New upstream release.
* debian/conrol: 
- add homepage field.
- Standards-Version 3.7.3 (no change).
- build-depends on chrpath
* debian/rules: 
- have build-stamp depend on patch-stamp in order to avoid
multiple configuration passes.
- use upstream install target to install everything
- use chrpah to clear out rpaths 
2007-07-07 - Ralf Treinen <>
mona (1.4-8-1) unstable; urgency=low
* New upstream release
* Removed patches 01_gcc3.4 and 02_gcc4.0 as this upstream version
compiles cleanly on gcc-3.4 and gcc-4.1.
* Patch 01_config: use recent config.{guess,sub}, depend on autotools-dev.
* Standards-version 3.7.2 (no change)
* Update address of the FSF in debian/copyright
* debian/rules, target "clean": execute "make clean" only when makefile
exists. Remove extra commands to remove generated makefiles as this 
is now fixed by upstream.
2005-08-05 - Ralf Treinen <>
mona (1.4-7-4) unstable; urgency=low
* Compile with -O2 instead of -O3 on m68k in order to resolve FTBFS on
m68k which is due to a gcc-4.0 bug.
* Let "debian/rules clean" also remove the generated makefiles in
Examples/ and config/
* Switch from dh_installmanpages to dh_installman.
2005-07-12 - Ralf Treinen <>
mona (1.4-7-3) unstable; urgency=low
* Recommends graphiz (instead of Suggests).
* Standards-version 3.6.2 (no change).
* Rebuild with gcc 4.

See Also

Package Description
monajat-applet_4.1-2_all.deb Islamic supplications tray applet
monajat-data_4.1-2_all.deb Islamic supplications database
monajat-mod_4.1-2_all.deb Islamic supplications console utility
monajat-screenlet_4.1-2_all.deb Islamic supplications screenlet
mongo-tools_3.4.14-4_i386.deb collection of tools for administering MongoDB servers
mongodb-dev_1.1.3-3_all.deb MongoDB C++ Driver (transitional package)
mongoose_5.4.0+dfsg-1_i386.deb graph partitioning tool that can quickly compute edge cuts (executable)
mongrel2-core_1.12.0-2_i386.deb programming language agnostic web server (binaries)
mongrel2-run_1.12.0-2_all.deb programming language agnostic web server
monitoring-plugins-basic_2.2-6_i386.deb Plugins for nagios compatible monitoring systems (basic)
monitoring-plugins-btrfs_11-2_all.deb btrfs plugin for nagios compatible monitoring systems
monitoring-plugins-common_2.2-6_i386.deb Common files for plugins for nagios compatible monitoring
monitoring-plugins-standard_2.2-6_i386.deb Plugins for nagios compatible monitoring systems (standard)
monitoring-plugins_2.2-6_all.deb Plugins for nagios compatible monitoring systems (metapackage)
monitorix_3.10.1-1_all.deb lightweight system monitoring tool