-----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@lists.alioth.debian.org>
Changed-By: Ralf Treinen <treinen@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-----
