[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#812755: marked as done (ITA: spass -- An automated theorem prover for first-order logic with equality)

Your message dated Sun, 23 Oct 2016 21:27:23 +0000
with message-id <E1byQId-0002Gs-Mu@franck.debian.org>
and subject line Bug#812755: fixed in spass 3.7-4
has caused the Debian Bug report #812755,
regarding ITA: spass -- An automated theorem prover for first-order logic with equality
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
812755: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=812755
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: normal

I'm not using this package regularly. Therefore, looking for a new maintainer. There was no upstream release since 2010.

--- End Message ---
--- Begin Message --- 
Source: spass
Source-Version: 3.7-4

We believe that the bug you reported is fixed in the latest version of
spass, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 812755@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Ralf Treinen <treinen@debian.org> (supplier of updated spass package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)


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

--- End Message ---
Reply to: