[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#42180] [PATCH 22/22] gnu: Add erlang-rebar3-proper.
From: |
Hartmut Goebel |
Subject: |
[bug#42180] [PATCH 22/22] gnu: Add erlang-rebar3-proper. |
Date: |
Fri, 3 Jul 2020 19:43:47 +0200 |
* gnu/packages/erlang.scm (erlang-rebar3-proper): New variable.
---
gnu/packages/erlang.scm | 17 +++++++++++++++++
1 file changed, 17 insertions(+)
diff --git a/gnu/packages/erlang.scm b/gnu/packages/erlang.scm
index e927f5db11..6f347ac37b 100644
--- a/gnu/packages/erlang.scm
+++ b/gnu/packages/erlang.scm
@@ -533,6 +533,23 @@ testing of stateful systems.")
git.")
(license license:expat)))
+(define-public erlang-rebar3-proper
+ (package
+ (name "erlang-rebar3-proper")
+ (version "0.11.1")
+ (source
+ (origin
+ (method hexpm-fetch)
+ (uri (hexpm-uri "rebar3_proper" version))
+ (sha256
+ (base32 "0gkbq69bvagh43w384fqgycpyr1p1zd3clwp1klcaicmp0x1syj9"))))
+ (build-system rebar3-build-system)
+ (home-page "http://proper.softlab.ntua.gr/")
+ (synopsis "Rebar3 PropEr plugin")
+ (description "This plugin allows running PropEr test suites from within
+rebar3.")
+ (license "BSD")))
+
(define-public erlang-rebar3-raw-deps
(package
(name "erlang-rebar3-raw-deps")
--
2.21.3
- [bug#42180] [PATCH 03/22] guix: Add rebar3 build-system., (continued)
- [bug#42180] [PATCH 03/22] guix: Add rebar3 build-system., Hartmut Goebel, 2020/07/03
- [bug#42180] [PATCH 11/22] gnu: Add erlang-providers., Hartmut Goebel, 2020/07/03
- [bug#42180] [PATCH 14/22] gnu: Add erlang-ssl-verify-fun., Hartmut Goebel, 2020/07/03
- [bug#42180] [PATCH 15/22] gnu: Add erlang-relx., Hartmut Goebel, 2020/07/03
- [bug#42180] [PATCH 16/22] gnu: Add rebar3., Hartmut Goebel, 2020/07/03
- [bug#42180] [PATCH 17/22] gnu: Add erlang-edown., Hartmut Goebel, 2020/07/03
- [bug#42180] [PATCH 18/22] gnu: Add erlang-jsone., Hartmut Goebel, 2020/07/03
- [bug#42180] [PATCH 20/22] gnu: Add erlang-rebar3-raw-deps., Hartmut Goebel, 2020/07/03
- [bug#42180] [PATCH 19/22] gnu: Add erlang-proper., Hartmut Goebel, 2020/07/03
- [bug#42180] [PATCH 21/22] gnu: Add erlang-rebar3-git-vsn., Hartmut Goebel, 2020/07/03
- [bug#42180] [PATCH 22/22] gnu: Add erlang-rebar3-proper.,
Hartmut Goebel <=