Update of /home/cvs/GiNaC/debian Modified Files: rules Added Files: libginac-dev.prerm Removed Files: libginac-dev.postrm Log Message: * Just for the record: this is what has been used for building.