PACKAGES += mcerlang pkg_mcerlang_name = mcerlang pkg_mcerlang_description = The McErlang model checker for Erlang pkg_mcerlang_homepage = https://github.com/fredlund/McErlang pkg_mcerlang_fetch = git pkg_mcerlang_repo = https://github.com/fredlund/McErlang pkg_mcerlang_commit = master