diff options
Diffstat (limited to 'index/antidote.mk')
| -rw-r--r-- | index/antidote.mk | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/index/antidote.mk b/index/antidote.mk deleted file mode 100644 index ea590b2..0000000 --- a/index/antidote.mk +++ /dev/null @@ -1,7 +0,0 @@ -PACKAGES += antidote -pkg_antidote_name = antidote -pkg_antidote_description = Large-scale computation without synchronisation -pkg_antidote_homepage = https://syncfree.lip6.fr/ -pkg_antidote_fetch = git -pkg_antidote_repo = https://github.com/SyncFree/antidote -pkg_antidote_commit = master |