building in separate directory didn't work
[ginac.git] / debian / ginac-dev.postinst
2001-02-07 Richard KreckelHope this works now. release_0-7-1