Browse Source

Add package gen_leader to the index

Stephane Bourque 6 years ago
parent
commit
fb87e18fbe
1 changed files with 7 additions and 0 deletions
  1. 7 0
      index/gen_leader.mk

+ 7 - 0
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