aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorStephane Bourque <[email protected]>2019-02-28 19:55:38 -0600
committerLoïc Hoguin <[email protected]>2019-03-02 19:07:30 +0100
commitfb87e18fbe47261c43d2674308bd2258dab1225d (patch)
tree11f92612ff8c3681db84d21462860569219da896
parent84ad9553b2d896e90446c34bbb0d383493fe257f (diff)
downloaderlang.mk-fb87e18fbe47261c43d2674308bd2258dab1225d.tar.gz
erlang.mk-fb87e18fbe47261c43d2674308bd2258dab1225d.tar.bz2
erlang.mk-fb87e18fbe47261c43d2674308bd2258dab1225d.zip
Add package gen_leader to the index
-rw-r--r--index/gen_leader.mk7
1 files changed, 7 insertions, 0 deletions
diff --git a/index/gen_leader.mk b/index/gen_leader.mk
new file mode 100644
index 0000000..9eb4954
--- /dev/null
+++ b/index/gen_leader.mk
@@ -0,0 +1,7 @@
+PACKAGES += gen_leader
+pkg_gen_leader_name = gen_leader
+pkg_gen_leader_description = leader election behavior
+pkg_gen_leader_homepage = https://github.com/garret-smith/gen_leader_revival
+pkg_gen_leader_fetch = git
+pkg_gen_leader_repo = https://github.com/garret-smith/gen_leader_revival
+pkg_gen_leader_commit = master