Format: 1.8
Date: Sat, 26 Mar 2016 19:46:18 +0100
Source: mona
Binary: mona
Architecture: amd64
Version: 1.4-17-1
Distribution: cosmic
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@lgw01-amd64-021.buildd>
Changed-By: Ralf Treinen <treinen@debian.org>
Description:
 mona       - theorem prover based on automata
Closes: 806139
Changes:
 mona (1.4-17-1) unstable; urgency=medium
 .
   * New upstream version. This version fixes the default alloc used
     (closes: #806139).
   * Standards-version 3.9.7 (no change)
   * Update URL in Vcs-*fields
   * Dropped XS-testsuite field which is no longer useful
   * d/copyright: updated libtool entry
Checksums-Sha1:
 4d39cf85c2877e9ec20d151b8aad178352efde02 4907 mona_1.4-17-1_amd64.buildinfo
 b7ff12b7b665bbaadff3a0d48bcbe95edfb1dfc4 405352 mona_1.4-17-1_amd64.deb
Checksums-Sha256:
 4f9bc39e2376cdcc55df72e29f7ac54142a7e475c022967829cc743028ba6013 4907 mona_1.4-17-1_amd64.buildinfo
 3deaf845f8a62c4e0bb674aa86fab34ed1aa034bee0845c99479130c342ebb6d 405352 mona_1.4-17-1_amd64.deb
Files:
 728cd8413407c6ab3ee0f1331d577094 4907 science extra mona_1.4-17-1_amd64.buildinfo
 2c6fb7949f19ec873389813799ea696d 405352 science extra mona_1.4-17-1_amd64.deb