» Ubuntu » Packages » saucy (13.10) » Source » misc » mona
lucid  ] [  precise  ] [  raring  ] [  saucy  ] [  trusty  ] [  utopic  ]

Source Package: mona (1.4-13-3) [universe]

Links for mona

Ubuntu Resources:


Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

It should generally not be necessary for users to contact the original maintainer.

External Resources:

The following binary packages are built from this source package:
theorem prover based on automata

Other Packages Related to mona

  • build-depends
  • build-depends-indep
  • adep: debhelper (>= 7.0)
    helper programs for debian/rules
  • adep: bison
    YACC-compatible parser generator
  • adep: flex
    A fast lexical analyzer generator.
  • adep: autotools-dev
    Update infrastructure for config.{guess,sub} files
  • adep: chrpath
    Tool to edit the rpath in ELF binaries

Download mona

FileSize (in kB)MD5 checksum
mona_1.4-13-3.dsc 1.2 kB 2b30cea4442cbef3ec2f69a6d52eeb83
mona_1.4-13.orig.tar.gz 603.9 kB 60f5ea4cc0c470dd0e72731836536f03
mona_1.4-13-3.debian.tar.gz 6.3 kB cc2500cff564e5db93cb8dad6300bf4e
Debian Package Source Repository (VCS: Git)
Debian Package Source Repository (Browsable)