source: trunk/dports/devel/nusmv

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @114328   4 years ryandesign use eq and ne instead of == and != when comparing ${os.arch}, …
(edit) @95086   5 years jmr nusmv: fix incorrect C++ instead of not using clang (#32600)
(edit) @94659   5 years mww nusmv: fix livecheck
(edit) @88225   6 years ryandesign nusmv: use llvm-gcc-4.2 instead of clang; see #32600
(edit) @86660   6 years mww nusmv: version 2.5.4
(edit) @85545   6 years mww nusmv: add license
(edit) @84550   6 years snc modelines
(edit) @83709   6 years mww fix linking issue on case-sensitive filesystems
(edit) @83707   6 years mww try harder to build correctly (32/64 bit issues)
(edit) @83692   6 years mww version 2.5.3
(edit) @83690   6 years mww fix homepage
(edit) @83689   6 years mww whitespace changes only
(edit) @83182   6 years jmr nusmv: add missing deps
(edit) @64712   8 years ryandesign Set svn:keywords to Id per current guidelines
(edit) @64711   8 years ryandesign Set svn:eol-style to native per current guidelines
(add) @64534   8 years mww new port devel/nusmv -- the NuSMV2 model checker
Note: See TracRevisionLog for help on using the revision log.