> Package: minisat2 > Severity: wishlist > > > Hello Michael, > > I've ported the ocaml binding of minisat to the latest version of > the solver, but unfortunately, in order to compile it, I need the > library version of minisat (make lib) and few header files. Would > you consider to split the package in three like > > - libminisat2 > - libminisat2-dev > - minisat2 > > This would make my life much easier :) > > 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! Thanks a lot, Michael
pgpiHZlQpH1OU.pgp
Description: PGP signature
