On 2014-10-21 19:53, Michael Tautschnig wrote:
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?
That was the case when we initially uploaded undertaker to debian AFAIR
(or it was the plan at least). We had to abandon this scheme because we
switched to a newer version of picosat that changed API.
Stefan you just finished your Master thesis that worked a lot on how
undertaker uses the sat checker. Maybe you can give us some insight
here?
Thanks,
Reinhard
--
To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
