Hi Pietro, > Hi, > Are there any hopes to make this happen before the end of the summer ? > Did you have a bit of time to review my changes ? Is there anything else > I can do to make this happen (including asking an NMU from another > willing maintaner ) ? >
Sorry, finally summer is over, and it still isn't done. But I'm now ready to resolve it in any sane way. I'd just like to discuss a few aspects of your suggested changes: - I haven't worked that much with cdbs (usually using quilt for patch management), and even wonder whether we should use cdbs here or just do direct modifications of upstream source. Forward porting that, if a new release of minisat ever happens, won't be that much of a burden. - Is it worth the trouble splitting a package as small as minisat into three of them? I'd rather ship everything within the original package. Let me know what you think and we shall have an upload within a few days. Best, Michael
pgpt8XLAR0GtA.pgp
Description: PGP signature
