mona_1.4-17-1+b1_amd64.deb


Advertisement

Description

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
Homepage http://www.brics.dk/~amoeller/mona/index.html
License -
Maintainer Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Download size 388.65 KB
Installed size 1.35 MB

Alternatives

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

Requires

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

Download

Type URL
Mirror ftp.br.debian.org
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

Files

Path
/etc/emacs/site-start.d/50mona.el
/usr/bin/dfa2dot
/usr/bin/gta2dot
/usr/bin/mona
/usr/include/mona/bdd.h
/usr/include/mona/config.h
/usr/include/mona/dfa.h
/usr/include/mona/dlmalloc.h
/usr/include/mona/gnuc.h
/usr/include/mona/gta.h
/usr/include/mona/mem.h
/usr/lib/emacsen-common/packages/install/mona
/usr/lib/emacsen-common/packages/remove/mona
/usr/lib/x86_64-linux-gnu/libmonabdd.a
/usr/lib/x86_64-linux-gnu/libmonabdd.so
/usr/lib/x86_64-linux-gnu/libmonabdd.so.1
/usr/lib/x86_64-linux-gnu/libmonabdd.so.1.0.4
/usr/lib/x86_64-linux-gnu/libmonadfa.a
/usr/lib/x86_64-linux-gnu/libmonadfa.so
/usr/lib/x86_64-linux-gnu/libmonadfa.so.1
/usr/lib/x86_64-linux-gnu/libmonadfa.so.1.0.4
/usr/lib/x86_64-linux-gnu/libmonagta.a
/usr/lib/x86_64-linux-gnu/libmonagta.so
/usr/lib/x86_64-linux-gnu/libmonagta.so.1
/usr/lib/x86_64-linux-gnu/libmonagta.so.1.0.4
/usr/lib/x86_64-linux-gnu/libmonamem.a
/usr/lib/x86_64-linux-gnu/libmonamem.so
/usr/lib/x86_64-linux-gnu/libmonamem.so.1
/usr/lib/x86_64-linux-gnu/libmonamem.so.1.0.4
/usr/share/doc/mona/changelog.Debian.amd64.gz
/usr/share/doc/mona/changelog.Debian.gz
/usr/share/doc/mona/changelog.gz
/usr/share/doc/mona/copyright
/usr/share/doc/mona/examples/Examples/ab1.mona
/usr/share/doc/mona/examples/Examples/ab2.mona
/usr/share/doc/mona/examples/Examples/bdd_example.c.gz
/usr/share/doc/mona/examples/Examples/bdd_example.gz
/usr/share/doc/mona/examples/Examples/bdd_example.o.gz
/usr/share/doc/mona/examples/Examples/bdd_volatility
/usr/share/doc/mona/examples/Examples/even.mona
/usr/share/doc/mona/examples/Examples/even_with_assert.mona
/usr/share/doc/mona/examples/Examples/even_with_pred.mona
/usr/share/doc/mona/examples/Examples/gta_example.c.gz
/usr/share/doc/mona/examples/Examples/gta_example.gz
/usr/share/doc/mona/examples/Examples/gta_example.o.gz
/usr/share/doc/mona/examples/Examples/html.mona.gz
/usr/share/doc/mona/examples/Examples/hyman.mona.gz
/usr/share/doc/mona/examples/Examples/lossy_queue.mona
/usr/share/doc/mona/examples/Examples/makefile.am
/usr/share/doc/mona/examples/Examples/makefile.gz
/usr/share/doc/mona/examples/Examples/makefile.in.gz
/usr/share/doc/mona/examples/Examples/minusmodulo.mona
/usr/share/doc/mona/examples/Examples/nadder.mona
/usr/share/doc/mona/examples/Examples/plusmodulo.mona
/usr/share/doc/mona/examples/Examples/presburger.mona
/usr/share/doc/mona/examples/Examples/presburger_analysis.c
/usr/share/doc/mona/examples/Examples/presburger_analysis.gz
/usr/share/doc/mona/examples/Examples/presburger_analysis.o.gz
/usr/share/doc/mona/examples/Examples/presburger_transduction.c
/usr/share/doc/mona/examples/Examples/presburger_transduction.gz
/usr/share/doc/mona/examples/Examples/presburger_transduction.o.gz
/usr/share/doc/mona/examples/Examples/regexp.mona
/usr/share/doc/mona/examples/Examples/.libs/bdd_example.gz
/usr/share/doc/mona/examples/Examples/.libs/gta_example.gz
/usr/share/doc/mona/examples/Examples/.libs/presburger_analysis.gz
/usr/share/doc/mona/examples/Examples/.libs/presburger_transduction.gz
/usr/share/emacs/site-lisp/mona/mona-mode.el
/usr/share/lintian/overrides/mona
/usr/share/man/man1/mona.1.gz

Changelog

2016-03-26 - Ralf Treinen <treinen@debian.org>
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 <doko@debian.org>
mona (1.4-15-1.1) unstable; urgency=medium
* Non-maintainer upload.
* Build with -fgnu89-inline. Closes: #778011.
2014-08-18 - Ralf Treinen <treinen@debian.org>
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 <treinen@debian.org>
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 <treinen@debian.org>
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 <treinen@debian.org>
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 <treinen@debian.org>
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 <treinen@debian.org>
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 <treinen@debian.org>
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 <treinen@debian.org>
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
Advertisement
Advertisement