source: trunk/dports/science/spot

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @129205   5 years mmoll science/spot: update to version 1.2.6
(edit) @127511   5 years mmoll science/spot: remove python{26,33} variants
(edit) @124965   5 years mmoll science/spot: update to version 1.2.5
(add) @120693   5 years mmoll science/spot: new port, a C++ library for model checking
Note: See TracRevisionLog for help on using the revision log.