mona - theorem prover based on automata

Property Value
Distribution Debian Sid
Repository Debian Main amd64
Package filename mona_1.4-17-1+b1_amd64.deb
Package name mona
Package version 1.4
Package release 17-1+b1
Package architecture amd64
Package type deb
Category field::mathematics role::program science scope::utility
License -
Maintainer Debian Science Maintainers <>
Download size 388.65 KB
Installed size 1.35 MB


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


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


Type URL
Binary Package mona_1.4-17-1+b1_amd64.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
monero-tests_0.13.0.4-2_amd64.deb cryptocoin client for Monero network - testsuite
monero_0.13.0.4-2_amd64.deb cryptocoin client for Monero network - daemon and tools
mongo-tools_3.4.14-4_amd64.deb collection of tools for administering MongoDB servers
mongodb-clients_3.4.18-2+b1_amd64.deb object/document-oriented database (client apps)
mongodb-dev_1.1.3-3_all.deb MongoDB C++ Driver (transitional package)
mongodb-server-core_3.4.18-2+b1_amd64.deb object/document-oriented database (server binaries package)
mongodb-server_3.4.18-2_all.deb object/document-oriented database (managed server package)
mongodb_3.4.18-2+b1_amd64.deb object/document-oriented database (metapackage)
mongoose_5.4.0+dfsg-1_amd64.deb graph partitioning tool that can quickly compute edge cuts (executable)
mongrel2-core_1.12.0-2_amd64.deb programming language agnostic web server (binaries)
mongrel2-run_1.12.0-2_all.deb programming language agnostic web server