- 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
|
