diff options
Diffstat (limited to 'index/mcerlang.mk')
| -rw-r--r-- | index/mcerlang.mk | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/index/mcerlang.mk b/index/mcerlang.mk deleted file mode 100644 index 195767a..0000000 --- a/index/mcerlang.mk +++ /dev/null @@ -1,7 +0,0 @@ -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 |