Back to mona PTS page

Accepted mona 1.4-10-1 (source amd64)

To: debian-devel-changes@lists.debian.org
Subject: Accepted mona 1.4-10-1 (source amd64)
From: Ralf Treinen <treinen@debian.org>
Date: Tue, 15 Apr 2008 19:17:02 +0000
Message-id: <E1JlqeM-00035U-VE@ries.debian.org>
Sender: Archive Administrator <dak@ftp-master.debian.org>

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Tue, 15 Apr 2008 20:05:10 +0200
Source: mona
Binary: mona
Architecture: source amd64
Version: 1.4-10-1
Distribution: unstable
Urgency: low
Maintainer: Ralf Treinen <treinen@debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Description: 
 mona       - a theorem prover based on automata
Changes: 
 mona (1.4-10-1) unstable; urgency=low
 .
   * New upstream release.
   * debian/conrol:
     - add homepage field.
     - Standards-Version 3.7.3 (no change).
     - build-depends on chrpath
   * debian/rules:
     - have build-stamp depend on patch-stamp in order to avoid
       multiple configuration passes.
     - use upstream install target to install everything
     - use chrpah to clear out rpaths
Checksums-Sha1: 
 d40e3c29bc053de4b77236483f01f25aa62f676e 1019 mona_1.4-10-1.dsc
 9ba4fe39c3c7afbdd378643107303904d4f93613 618130 mona_1.4-10.orig.tar.gz
 82c6f83218d799becac5258bdcc5fcb72c9e516f 5673 mona_1.4-10-1.diff.gz
 89efc86e4d0d6de4edad473567319165cb1b05a8 441558 mona_1.4-10-1_amd64.deb
Checksums-Sha256: 
 df99edd2e413455b9c358ded46ace3f4c10babe0e445d2cde41f860d4922c512 1019 mona_1.4-10-1.dsc
 76884f7cd02a4e3c6df3497dcef6be149925824064b2c6c2cd2e17df87050195 618130 mona_1.4-10.orig.tar.gz
 dbaee110544f34bf1f6501d72bd96c1886ab50c76be66be13a2cb21f83d99fa9 5673 mona_1.4-10-1.diff.gz
 bd28dd6fd15453ba93a7baa90f9966e5d5d38c5bb5e237d60d9970ba710d4440 441558 mona_1.4-10-1_amd64.deb
Files: 
 48b7b00fa1d42029427cbf4e8e53af82 1019 misc optional mona_1.4-10-1.dsc
 47842cbed7ee11310ef9747ef0d0d42c 618130 misc optional mona_1.4-10.orig.tar.gz
 a2e7aff1d3d25270f9d530160baf77f1 5673 misc optional mona_1.4-10-1.diff.gz
 cbafd6b0a224fb66a2453f44a3132b60 441558 misc optional mona_1.4-10-1_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)

iD8DBQFIBPrOtzWmSeC6BMERAhECAJ9Rqf2KkogrrD57VPUJRi7dd5EHVwCg4vPV
/4nkyU/7aM12PoHXb/Wkt5Q=
=euen
-----END PGP SIGNATURE-----


Accepted:
mona_1.4-10-1.diff.gz
  to pool/main/m/mona/mona_1.4-10-1.diff.gz
mona_1.4-10-1.dsc
  to pool/main/m/mona/mona_1.4-10-1.dsc
mona_1.4-10-1_amd64.deb
  to pool/main/m/mona/mona_1.4-10-1_amd64.deb
mona_1.4-10.orig.tar.gz
  to pool/main/m/mona/mona_1.4-10.orig.tar.gz