aboutsummaryrefslogtreecommitdiffstats
path: root/index/mcerlang.mk
blob: 195767a908de2c458ff8e180b74ae15706b56ca9 (plain) (blame)
1
2
3
4
5
6
7
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