Hope this works now.
[ginac.git] / debian / ginac-dev.postinst
2001-02-07 Richard KreckelHope this works now. release_0-7-1