@@ -466,6 +466,25 @@ specifications.")
Erlang.")
(license license:asl2.0)))
+(define-public erlang-proper
+ (package
+ (name "erlang-proper")
+ (version "1.3.0")
+ (source
+ (origin
+ (method hexpm-fetch)
+ (uri (hexpm-uri "proper" version))
+ (sha256
+ (base32 "030abhb96inlpxzy4qv3zi4gmzi5s6c1l2cvpn22ww85l1hpzfzr"))))
+ (build-system rebar3-build-system)
+ (home-page "http://proper.softlab.ntua.gr/")
+ (synopsis "QuickCheck-inspired property-based testing tool for Erlang")
+ (description "PropEr is a tool for the automated, semi-random,
+property-based testing of Erlang programs. It is fully integrated with
+Erlang's type language, and can also be used for the model-based random
+testing of stateful systems.")
+ (license "GPL")))
+
(define-public erlang-providers
(package
(name "erlang-providers")