Source Package: mona (1.4-13-1)
Links for mona
Debian Resources:
Maintainer:
External Resources:
The following binary packages are built from this source package:
- mona
- a theorem prover based on automata
Other Packages Related to mona
-
- adep:
debhelper
(>= 7.0)
- helper programs for debian/rules
-
- adep:
bison
- A parser generator that is compatible with YACC
-
- 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
