Accepted spass 3.7-4 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 23 Oct 2016 20:22:48 +0200
Source: spass
Binary: spass
Architecture: source
Version: 3.7-4
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Description:
spass - automated theorem prover for first-order logic with equality
Closes: 812755
Changes:
spass (3.7-4) unstable; urgency=medium
.
* Set maintainer to debian-science with me as uploader (closes: #812755)
* Add Vcs-{Git,Browser} fields.
* Short description: do not start with an article.
* Add Homepage field, and drop reference to upstream homepage from the
long description.
* d/copyright: convert to machine-readable format 1.0
* rewrite debian/rules:
- use dh.
- add debian/spass.links
- add debian/spass.docs
- add debian/spass.example
- add debian/spass.manpages
* DH compatibility level 10
* Standards-version 3.9.8 (no change)
* Add dep-8 style test, using the example provided by upstream
* docs:
- install pdf documents into /usr/share/doc/spass
- drop the html docs which are incomplete, and superseded by the man pages
Checksums-Sha1:
68900eef512101f7993ab02bf5fcc92990b8ff0c 1985 spass_3.7-4.dsc
a9312c8de0145bf8b6c121ba97899772e897eb56 3468 spass_3.7-4.debian.tar.xz
Checksums-Sha256:
27479ddfa8b7f96486b91258821323a30612fece6e5992aba581d3714b0fa1a8 1985 spass_3.7-4.dsc
71e7f22d12bd48f89fde36d8df1f0f0618251ebd3d94fe04840f2578e6156ec0 3468 spass_3.7-4.debian.tar.xz
Files:
8dd1220cf1cab813aec2e41ed5d4a9b2 1985 science optional spass_3.7-4.dsc
fc02ce63f7f59eebae774b8a5d6c2a42 3468 science optional spass_3.7-4.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQIcBAEBCAAGBQJYDQBfAAoJEHRcR2bUys3/G8oP/03MhH4b7mqInn8Plxs2gWNp
oc8IZOG4HF/MMyU011QWi0cTPsLCdRpgI/s0yZDe6AOSeGyYXIRUTHpYyhWf804M
kzA3ZuCqNAxXcBtNT41jX/P8dlIb6V6V7I+q+iXg+QUwbODRUydX6Cz9TNRgjtVK
FRV6owehTpwjyn96DnGQqVU+eaxhmEWPXp8xJ+Qor6MrhbWGSVH1nKgEhuAaM4qP
AhOTM8n7eWDsta9KnVyfkjoS7w28ICCIiSf/Ui4MxFH79ri1r61QTSQxH4c6+ivF
H7D7PGopSikVudAsJdasmd8vIsUS9Vbn9IpJqclEBbV0FjKeJ9tDm3j0RcWOh8NU
TP3g51W1E8v/jlDYpq6vY1vw0HX2NPk1oAgfOmNCVni7ss4k0afsnU89iMloYop6
dnM0rwGa4ITGJMoH44LguTRGc5BwuBe86dPjXLdlV3/DJ/787fgnXctKuTbgY7tu
rP4LEvs+OKUrWR8gBcg2+v78EmvLSwPa0bPHfYGmUhh317X/4J/gzv8xXGiBXpaV
0Pw7SL0bBVkt0IpWOzE+uJlQvg9tvaWaYfyn0QcuEXV8z7zJt6PA1c9yO0QfILhz
23Ly4Apod1JxpRdNTdWkpcZMyWppOc5IZL4mYAriytHdbW1FA7T5a1eJcMPpWeoZ
YNI6nhaVehhcOv6oT81/
=sMPF
-----END PGP SIGNATURE-----