Hi undertaker maintainers/uploaders, [...] > Here is a list of files that are known to be shared by both packages > (according to the Contents file for sid/amd64, which may be > slightly out of sync): > > /usr/bin/picomus > [...]
I wasn't even aware that undertaker was in Debian, and the same might hold for you as far as picosat is concerned. Anyway, in the interest of code de-duplication, could undertaker be changed to use the separate picosat package instead of the one shipped as part of the source tree? Best, Michael
pgp3pTkpcb1NJ.pgp
Description: PGP signature
