Bring forward push of the version tag ref so it happens alongside the push of the...

[dgit.git] / debian / copyright

diff --git a/debian/copyright b/debian/copyright
index 461cbfddceea6de090217edbc6c46b203364d5a2..081ff315b2a9ba8bcd5b7579ddcd2e6b398f306d 100644 (file)
--- 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).