1
Description: Upstream changes introduced in version 3.7-1
2
This patch has been created by dpkg-source during the package build.
3
Here's the last changelog entry, hopefully it gives details on why
4
those changes were made:
6
spass (3.7-1) unstable; urgency=low
10
The person named in the Author field signed this changelog entry.
11
Author: Roland Stigge <stigge@antcom.de>
14
The information above should follow the Patch Tagging Guidelines, please
15
checkout http://dep.debian.net/deps/dep3/ to learn about the format. Here
16
are templates for supplementary fields that you might want to add:
18
Origin: <vendor|upstream|other>, <url of original patch>
19
Bug: <url in upstream bugtracker>
20
Bug-Debian: http://bugs.debian.org/<bugnumber>
21
Bug-Ubuntu: https://launchpad.net/bugs/<bugnumber>
22
Forwarded: <no|not-needed|url proving that it has been forwarded>
23
Reviewed-By: <name and email of someone who approved the patch>
24
Last-Update: <YYYY-MM-DD>
26
--- spass-3.7.orig/doc/texinfo/script.texi
27
+++ spass-3.7/doc/texinfo/script.texi
29
@settitle Documentation for SPASS-scripts
34
+@c * spass: (spass). SPASS - Automated theorem prover