source: trunk/dports/math/boolector

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @108051   6 years jmr delete empty dir with empty name
(edit) @97969   7 years ryandesign boolector: no need to create standard directories in destroot
(edit) @97968   7 years ryandesign boolector: add standard modeline; adjust whitespace of a few lines to match
(add) @97542   7 years mww boolector: new port
Note: See TracRevisionLog for help on using the revision log.