-----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
