hello again. On Sat, Jul 18, 2009 at 07:33:31PM +0200, Michael Tautschnig wrote: > > Package: minisat2 > > Severity: wishlist > > If you have an svn/git repo of the package, I can prepare you a patch. > Honestly, I don't, I just keep downloading the Debian Source package from the > servers and modify those. For the simple reason that there are so few changes > necesary. A patch would be most welcome; if you just download the package > source > and modify them/prepare a patch for those, it would be great!
I've done a bit more of work. I've integrated the patch to the minisat makefile in a cdbs patch, I've converted the package to cdbs and I've created an handy git repos that we can use to exchange patches.. you can find all I've done here: https://www.mancoosi.org/~abate/repos/minisat2.git/ just git-buildpackage it :) there is still a lintian warning: W: libminisat: package-name-doesnt-match-sonames libminisat1.0 but I still don't understand how to make it go away ... let me know what you think and if I can do something more to make this happen. cheers. p -- ---- http://en.wikipedia.org/wiki/Posting_style -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
