* Redid the debian/copyright file, using the proposed new copyright file
format. Included many details not previously listed in the old file.
* Redid the debian/copyright file, using the proposed new copyright file
format. Included many details not previously listed in the old file.