diff options
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/changelog | 1 | ||||
| -rw-r--r-- | debian/copyright | 6 |
2 files changed, 7 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog index ff334e4..f2b6126 100644 --- a/debian/changelog +++ b/debian/changelog @@ -3,6 +3,7 @@ dgit (0.19~experimental1) experimental; urgency=low Testing facilities: * Provide "test-dummy" distro with "dummycat" access method. * Provide fake "ssh" program in tests/ which does nothing much. + * Provide tests/lib, and one pari-extra based clone test. -- 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). |