mona_1.4-15-1_amd64.changes ACCEPTED into unstable

[Debian FTP Masters]

Accepted:

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 18 Aug 2014 11:55:14 +0200
Source: mona
Binary: mona
Architecture: source amd64
Version: 1.4-15-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers at lists.alioth.debian.org>
Changed-By: Ralf Treinen <treinen at debian.org>
Description:
 mona       - theorem prover based on automata
Changes:
 mona (1.4-15-1) unstable; urgency=medium
 .
   * new upstream release
   * add debian/watch
   * dh compatibility level 9
   * standards-version 3.9.5:
     - migrate debian/copyright to machine-readable format 1.0
   * rewrite the package build system:
     - start with the standard dh file for debian/rules
     - override dh_install to remove:
        - mona-mode.el which upstream's makefile installs in the wrong dir
        - usr/lib/*/*.la which we don't need
     - install mona-mode.el via debian/mona.install
     - install Examples/ via debian/mona.examples
   * we don't use chrpath any more, so we drop it from the build-dependencies
   * refresh lintian override non-dev-pkg-with-shlib-symlink (new location
     of lib files)
   * add autopkgtests, one test script: valid
Checksums-Sha1:
 9d88c0b1949f853e11fa6b3c02a35b45d374c48a 1954 mona_1.4-15-1.dsc
 2f64239e6235352ada0f1ac153cfa6cb7b989478 681794 mona_1.4-15.orig.tar.gz
 e96748486abd9b29bd2beb4625e9d8c63a9b0a25 6116 mona_1.4-15-1.debian.tar.xz
 0673304cd57009b3e385c6464f3ae893721cebea 394818 mona_1.4-15-1_amd64.deb
Checksums-Sha256:
 6f31ea744385195310766f9f630443297d374ca8331de00de64fe36ccf869fa0 1954 mona_1.4-15-1.dsc
 c107079dda8d4a9d82ffa382bad6fe206d6d995c9e8da978c33fe804bc26afcc 681794 mona_1.4-15.orig.tar.gz
 94814e7a377474bf9e979f418fa49bad04454855ce7faf07b11b7c66a3ef0f51 6116 mona_1.4-15-1.debian.tar.xz
 e757d6b763dd4730aaa340c4629795a6d368b739128d610afe00a536f7eb83cc 394818 mona_1.4-15-1_amd64.deb
Files:
 3968bffdefedd65932647405ba9f3ad2 394818 science extra mona_1.4-15-1_amd64.deb
 3376be58bf29a7165df21dcdee5748de 1954 science extra mona_1.4-15-1.dsc
 b93fe15cae360bbd9836420fe300c9bf 681794 science extra mona_1.4-15.orig.tar.gz
 c61f2162cf9883300bfb65cfe8027d97 6116 science extra mona_1.4-15-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJT8hS5AAoJEHRcR2bUys3/wKYP/RErhhIzsKbRf6xLaIy8q/tq
f0iWuxOTczjIkbDOkb5L2WkUW7oYg/ZrOI0gLXomaDJmA/sst1fZ7Vj3jq4u+nit
ypMWkfNFfvnu5+h6r8rmBOt4q5kgezfDcLweMxy83nimI1LjUZRuD44V7yvJM5o0
LFtY8/rT+wpA7MjEFpVrsCsDTT+X79C5KxphtNIMGrwNKsD6eCf0aLpZBwzUeaRf
gnydhnVVT7RywF1OmwXvKZ03w3oFF1KLUcLI288XokJFD8vXHLTvp9fwpzS5czJq
+rCyBPKppX93NpBFf76BmkzTqMsONe+LLmEcff6kvMYy8Lo2xCqYPw08gB82xvmU
kZVCK4VsKDDjpxdNNEA25QnxMMH3C4omUUmihr3kGgCrGuXAyak7Rk9K8G9x5ozt
rVh7ES5/z28r951ngCpbfGGYU2dpIRS9wpvTY647kveKQ79h0IdnOYcLAFWRCYwf
5T9jqufEGp/oyRlC6EM5q7UvF5R/3D7zVkcocRS6J86OwE2RFD3De5Fg7+d6mbqg
Rvu4cPO3bfKK/a+rQBYH69GgkmXZrrL4mExxc18VFdPGjRiEH1ozP6sZHz37JAr0
x8CDuC45vPoeL6TGVJAf0MNtHKFoSpMuZXc7v+7nSQewJXESMOvnEbG+oAG464NT
V7uag8oXXyfeZAgP/Mc8
=n9PM
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.