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