debian specific patch information for picosat / 936-4

 makefile.in |   14 ++++++++++----
 picosat.c   |    4 ++--
 2 files changed, 12 insertions(+), 6 deletions(-)

 makefile.in |    7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

page code/design/content is copyright (c) 2008 sean finney <seanius@debian.org>.
patches viewed/retrieved through this system are copyrighted by their respective authors.
browse git repo - clone git repo