Update of /home/cvs/GiNaC/debian by kreckel Modified Files: changelog control ginac-tools.menu libginac-dev.install rules Log Message: * Adjust to files used for rolling Debian's 1.4.0-1 GiNaC packages.