source: trunk/dports/math/picosat

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @106719   7 years mww picosat: version 957
(edit) @100966   7 years mww picosat: version 954
(edit) @98387   7 years mww picosat: version 953
(edit) @97967   7 years ryandesign picosat: fix universal variant
(edit) @97966   7 years ryandesign picosat: no need to create standard directories in destroot
(edit) @97965   7 years ryandesign picosat: add standard modeline; adjust whitespace of a couple lines to …
(add) @97541   7 years mww picosat: new port
Note: See TracRevisionLog for help on using the revision log.