GPL, because of libdpkg inclusion
authorJoachim Breitner <mail@joachim-breitner.de>
Fri, 29 Jul 2011 13:26:05 +0000 (15:26 +0200)
committerJoachim Breitner <mail@joachim-breitner.de>
Fri, 29 Jul 2011 13:26:05 +0000 (15:26 +0200)
commit9ba6a0e758dac277fa6431bbbef7a5e817f5ca27
tree18dc3812b4164859ebd4dc757eda4c401a564736
parent273483f6a8364d5d051f4b02b5d31f2a78d60d3b
GPL, because of libdpkg inclusion
16 files changed:
ClauseSat.hs
ControlParser.hs
ControlTester.hs
DebVersionCmp.hs
Hints.hs
LICENSE.txt
LitSat.hs
Main.hs
ParseSuite.hs
Picosat.hs
PrettyPrint.hs
README.txt
SAT-Britney.cabal [new file with mode: 0644]
TransRules.hs
Types.hs
UrgencyTester.hs