Format: 1.8
Date: Sun, 22 Dec 2013 01:54:55 -0500
Source: mona
Binary: mona
Architecture: ppc64el
Version: 1.4-13-3ubuntu1
Distribution: trusty
Urgency: medium
Maintainer: Ubuntu Build Daemon <buildd@postal01.buildd>
Changed-By: Logan Rosen <logan@ubuntu.com>
Description: 
 mona       - theorem prover based on automata
Changes: 
 mona (1.4-13-3ubuntu1) trusty; urgency=medium
 .
   * Use dh-autoreconf to try to fix FTBFS on ppc64el.
Checksums-Sha1: 
 26dde382cfef43afe8d4e09427f14148dc532943 324702 mona_1.4-13-3ubuntu1_ppc64el.deb
Checksums-Sha256: 
 14c1d5dfea2195a2e9a1611c13807ba36f3e72cbcd29b966c40d5aad803ef7d1 324702 mona_1.4-13-3ubuntu1_ppc64el.deb
Files: 
 bec9d88a2aa8685ad3ea1b774e099e71 324702 science extra mona_1.4-13-3ubuntu1_ppc64el.deb
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>