Commits

Ryan Schmidt authored 0679dd1f34c 
nusmv: Update to 2.6.0

Closes: https://trac.macports.org/ticket/45839

Disable universal variant.

See: https://trac.macports.org/ticket/32627

Conflicts with libcudd because it installs its own patched version.
No tags
b6160677dca
master

devel/libcudd/Portfile

Modified

Everything looks good. We'll let you know here if there's anything you should know about.

Add shortcut