Hope this works now. release_0-7-1
authorRichard Kreckel <Richard.Kreckel@uni-mainz.de>
Wed, 7 Feb 2001 19:16:52 +0000 (19:16 +0000)
committerRichard Kreckel <Richard.Kreckel@uni-mainz.de>
Wed, 7 Feb 2001 19:16:52 +0000 (19:16 +0000)
commit670a4e51f43eeea6a8c328f103aea61fbe0b27a1
tree578e43c239421fe7ccb3c743088a123cc2f19302
parenta77d28203c3ec483e6612c5df3caf5ea6924dfdd
Hope this works now.
debian/control
debian/ginac-dev.files
debian/ginac-dev.postinst [new file with mode: 0644]
debian/ginac-dev.postrm [new file with mode: 0644]
debian/ginac-doc.files [deleted file]
debian/ginac.menu
debian/ginaccint.files
debian/rules