Update of /home/cvs/GiNaC/debian Modified Files: control Removed Files: ginac-tools.postinst ginac-tools.postrm Log Message: * Update to Standards-Version 3.6.2. * Remove superfluous ginac-tools.post* files (dh_installmenu does this).