diff options
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/copyright | 1 |
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. |