diff options
Diffstat (limited to 'index/iris.mk')
-rw-r--r-- | index/iris.mk | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/index/iris.mk b/index/iris.mk deleted file mode 100644 index 810b255..0000000 --- a/index/iris.mk +++ /dev/null @@ -1,7 +0,0 @@ -PACKAGES += iris -pkg_iris_name = iris -pkg_iris_description = Iris Erlang binding -pkg_iris_homepage = https://github.com/project-iris/iris-erl -pkg_iris_fetch = git -pkg_iris_repo = https://github.com/project-iris/iris-erl -pkg_iris_commit = master |