diff options
Diffstat (limited to 'debian/copyright')
-rw-r--r-- | debian/copyright | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/debian/copyright b/debian/copyright index 461cbfd..081ff31 100644 --- a/debian/copyright +++ b/debian/copyright @@ -15,3 +15,9 @@ GNU General Public License for more details. A copy of the GNU General Public License v3 can be found in /usr/share/common-licenses/GPL-3. + + +The tests/ directory contains a complete copy of the source code for +the pari-extra 3-1 package. This is a dummy package containing only +Debian metadata, by Bill Alombert, with a licence statement saying +it's GPL (implicitly GPLv3 compatible). |