source: trunk/dports/devel/nusmv

Name Size Rev Age Author Last Change
../
files 95086   5 years jmr nusmv: fix incorrect C++ instead of not using clang (#32600)
Portfile 2.3 KB 114328   4 years ryandesign use eq and ne instead of == and != when comparing ${os.arch}, …
Note: See TracBrowser for help on using the repository browser.