summaryrefslogtreecommitdiff
path: root/debian
diff options
context:
space:
mode:
Diffstat (limited to 'debian')
-rw-r--r--debian/copyright1
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/copyright b/debian/copyright
index 7808079..8a531ed 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -184,6 +184,7 @@ Copyright: 1996-2001 MPI für Informatik
License: GPL-2+
Files: test/spass/COPYING
+Copyright: 1989, 1991 Free Software Foundation, Inc.
License: FSF-simple
Everyone is permitted to copy and distribute verbatim copies of this license
document, but changing it is not allowed.