spass_3.7-4_source.changes ACCEPTED into unstable

Debian FTP Masters ftpmaster at ftp-master.debian.org
Sun Oct 23 21:27:23 UTC 2016



Accepted:

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


Thank you for your contribution to Debian.



More information about the debian-science-maintainers mailing list