all options
squeeze  ] [  wheezy  ] [  jessie  ] [  stretch  ] [  sid  ]

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

  • build-depends
  • build-depends-indep

Download mona

FileSize (in kB)MD5 checksum
mona_1.4-13-1.dsc 1.0 kB 52c5e2815c710eec5412dd512ed81bc3
mona_1.4-13.orig.tar.gz 603.9 kB 60f5ea4cc0c470dd0e72731836536f03
mona_1.4-13-1.diff.gz 5.6 kB 6f298bce660e7d11db9228876a1dd8a0