Fixed most bugs with building Debian packages.
[ginac.git] / debian / ginaccint.files