diff options
author | Stephane Bourque <[email protected]> | 2019-02-28 19:55:38 -0600 |
---|---|---|
committer | Loïc Hoguin <[email protected]> | 2019-03-02 19:07:30 +0100 |
commit | fb87e18fbe47261c43d2674308bd2258dab1225d (patch) | |
tree | 11f92612ff8c3681db84d21462860569219da896 | |
parent | 84ad9553b2d896e90446c34bbb0d383493fe257f (diff) | |
download | erlang.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.mk | 7 |
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 |