Publishing details

• Published on 2011-10-13
• Copied from ubuntu oneiric in Primary Archive for Ubuntu

Changelog

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
 -- Ubuntu Archive Auto-Sync <email address hidden>   Thu,  12 May 2011 07:51:06 +0000

Builds

• armhf

Built packages

• mona theorem prover based on automata

Package files

• mona_1.4-13-3.debian.tar.gz (6.3 KiB)
• mona_1.4-13-3.dsc (1.2 KiB)
• mona_1.4-13-3_amd64.deb (436.0 KiB)
• mona_1.4-13-3_arm64.deb (429.3 KiB)
• mona_1.4-13-3_armel.deb (367.0 KiB)
• mona_1.4-13-3_armhf.deb (361.7 KiB)
• mona_1.4-13-3_i386.deb (410.7 KiB)
• mona_1.4-13-3_powerpc.deb (421.7 KiB)
• mona_1.4-13.orig.tar.gz (603.9 KiB)