gnu: Add elixir-prove.

* gnu/packages/elixir-xyz.scm (elixir-prove): New variable.

Change-Id: Iaf6fe0df6dc84633fe0d5f1c0a24f99570258ed7
Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: Add elixir-process-tree.

* gnu/packages/elixir-xyz.scm (elixir-process-tree): New variable.

Change-Id: Iffd115d778c5a0e4c5e776debd2de7f0efd44afc
Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: Add elixir-pathex.

* gnu/packages/elixir-xyz.scm (elixir-pathex): New variable.

Change-Id: Ie345dcf084ad688971590d16001b75cb665a6b1a
Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: Add elixir-nimble-options.

* gnu/packages/elixir-xyz.scm (elixir-nimble-options): New variable.

Change-Id: If9039e3dc818cd57c0b39da34d6fe3f63e19965a
Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: Add elixir-nimble-ownership.

* gnu/packages/elixir-xyz.scm (elixir-nimble-ownership): New variable.

Change-Id: Ia52daa88c7eeab007e564e3ab1f43f02a51b7895
Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: Add elixir-assert-value.

* gnu/packages/elixir-xyz.scm (elixir-assert-value): New variable.

Change-Id: I5ebd38203bc147f306e3368a3aaa5c7c36e7505d
Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: Add elixir-arrows.

* gnu/packages/elixir-xyz.scm (elixir-arrows): New variable.

Change-Id: I302fc35aa8d23d033c9f4a25be4aea394b69553a
Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: Add elixir-accessible.

* gnu/packages/elixir-xyz.scm (elixir-accessible): New variable.

Change-Id: I451b7060e570cf1297a4daceaa549959f1639058
Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: Add erlang-mochiweb.

* gnu/packages/erlang-xyz.scm (erlang-mochiweb): New variable.

Change-Id: I0c58ffb9d1c279b290a195b3663ee16b3feb8b95
Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: Add erlang-hackney.

* gnu/packages/erlang-xyz.scm (erlang-hackney): New variable.

Change-Id: I61804e6d737ecb4fb783eecfbb9de2b0c097bf9e
Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: Add erlang-metrics-1.0.

* gnu/packages/erlang-xyz.scm (erlang-metrics-1.0): New variable.

Change-Id: I3c09e16857fdeb3f9dcdfeef0467d147dc3a441d
Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: erlang-certifi: Update to 2.15.0.

* gnu/packages/erlang.scm (erlang-certifi): Update to 2.15.0.

Change-Id: I08f0b35cfaa1114404c302ef40be74b6b88d4233
Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: Add erlang-shards.

* gnu/packages/erlang-xyz.scm (erlang-shards): New variable.

Change-Id: I2b719cd5fbf909ebd3db4ce6b4a9359cb9b67b02
Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: Add erlang-metrics.

* gnu/packages/erlang-xyz.scm (erlang-metrics): New variable.

Change-Id: I6db76b1be74b86f1deedbc2af8edaf6892d91da7
Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: Add erlang-exometer-core.

* gnu/packages/erlang-xyz.scm (erlang-exometer-core): New variable.

Change-Id: Iaec193dfaa215d0b0dc72eadd675fa98a6685570
Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: Add erlang-meck.

* gnu/packages/erlang-xyz.scm (erlang-meck): New variable.

Change-Id: I4b6b5da379e31bbf999793b0412a785fbe9e3b12
Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: Add erlang-cowboy-telemetry.

* gnu/packages/erlang-xyz.scm (erlang-cowboy-telemetry): New variable.

Change-Id: I5dda9952b576a9b2d12b8b38a90b28c7e5a0dbd4
Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: Add erlang-telemetry-poller.

* gnu/packages/erlang-xyz.scm (erlang-telemetry-poller): New variable.

Change-Id: I96f2abb2b2bcd60df057367ca6260935bc7a4122
Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: Add erlang-telemetry.

* gnu/packages/erlang-xyz.scm (erlang-telemetry): New variable.

Change-Id: If0bb373fcd914aa286093aaf9b1c92c053ac172b
Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: Add erlang-mimerl.

* gnu/packages/erlang-xyz.scm (erlang-mimerl): New variable.

Change-Id: I64aca58eb6052f60b02d0f526bc923664139c7c0
Signed-off-by: Ludovic Courtès <ludo@gnu.org>