diff options
Diffstat (limited to 'index/purity.mk')
-rw-r--r-- | index/purity.mk | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/index/purity.mk b/index/purity.mk deleted file mode 100644 index 2472f68..0000000 --- a/index/purity.mk +++ /dev/null @@ -1,7 +0,0 @@ -PACKAGES += purity -pkg_purity_name = purity -pkg_purity_description = A side-effect analyzer for Erlang -pkg_purity_homepage = https://github.com/mpitid/purity -pkg_purity_fetch = git -pkg_purity_repo = https://github.com/mpitid/purity -pkg_purity_commit = master |