From fb87e18fbe47261c43d2674308bd2258dab1225d Mon Sep 17 00:00:00 2001 From: Stephane Bourque Date: Thu, 28 Feb 2019 19:55:38 -0600 Subject: Add package gen_leader to the index --- index/gen_leader.mk | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 index/gen_leader.mk 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 -- cgit v1.2.3