Format: 1.8
Date: Thu, 27 Aug 2009 20:25:39 +0200
Source: mona
Binary: mona
Architecture: armel
Version: 1.4-13-1
Distribution: lucid
Urgency: low
Maintainer: Ubuntu/armel Build Daemon <buildd@jambul.buildd>
Changed-By: Ralf Treinen <treinen@debian.org>
Description: 
 mona       - a theorem prover based on automata
Changes: 
 mona (1.4-13-1) unstable; urgency=low
 .
   * New upstream release
   * debian/rules:
     - we do not have to calculate DEB_HOST_ARCH ourselves
     - dh-clean -k => dh_prep
     - Drop usage of dpatch, link to recent config.{sub.guess} during build.
     - use variable $(INSTALLROOT)
     - install lintian overrides
   * Lintian overrides for private libraries
   * dh-compat level 7
   * Change section to math
   * Standards-Version 3.8.3 (no change)
   * Remove build-dependency on dpatch
Checksums-Sha1: 
 6aa9b52077b57b2a0953d13eed04da9845c8426d 391534 mona_1.4-13-1_armel.deb
Checksums-Sha256: 
 39ba634fc21971e944dbcd8b8a6b34b3cde108ca64d18f1b5eaf1457aeb636a0 391534 mona_1.4-13-1_armel.deb
Files: 
 9bf67404ad3b5cf623ce1be39aa4bb9f 391534 math optional mona_1.4-13-1_armel.deb