Debian patch tracking system
makefile.in | 14 ++++++++++---- picosat.c | 4 ++-- 2 files changed, 12 insertions(+), 6 deletions(-)
makefile.in | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-)