Publishing details

• Created on 2013-12-22 by Ubuntu Archive Auto-Sync
• Published on 2013-12-22

Changelog

mona (1.4-13-3ubuntu1) trusty; urgency=medium

  * Use dh-autoreconf to try to fix FTBFS on ppc64el.
 -- Logan Rosen <email address hidden>   Sun, 22 Dec 2013 01:54:55 -0500

Builds

• amd64
• arm64
• armhf
• i386
• powerpc
• ppc64el

Built packages

• mona theorem prover based on automata

Package files

• mona_1.4-13-3ubuntu1.debian.tar.gz (6.3 KiB)
• mona_1.4-13-3ubuntu1.dsc (1.7 KiB)
• mona_1.4-13-3ubuntu1_amd64.deb (329.5 KiB)
• mona_1.4-13-3ubuntu1_arm64.deb (296.2 KiB)
• mona_1.4-13-3ubuntu1_armhf.deb (297.4 KiB)
• mona_1.4-13-3ubuntu1_i386.deb (325.8 KiB)
• mona_1.4-13-3ubuntu1_powerpc.deb (311.7 KiB)
• mona_1.4-13-3ubuntu1_ppc64el.deb (317.1 KiB)
• mona_1.4-13.orig.tar.gz (603.9 KiB)