Update debian/ files.
authorRichard B. Kreckel <kreckel@ginac.de>
Tue, 25 Mar 2008 23:03:08 +0000 (00:03 +0100)
committerRichard B. Kreckel <kreckel@ginac.de>
Tue, 25 Mar 2008 23:03:08 +0000 (00:03 +0100)
commitda211dc876958abc2563de16aff673296053505e
tree960d3db02c5684a8ddf1d6cad0d61c974ea2eb91
parent7d870583a6bf21a2ffb7b6f051b702064623892e
Update debian/ files.

Use the files that were uploaded with GiNaC 1.4.1 in Debian.
debian/changelog
debian/control