Subject: [bug#66801] [PATCH va3e5ae0f..37252e07 08/32] gnu: erlang-rebar3-proper: moved to erlang-xyz.scm

From: Pierre-Henry Fröhring <[email-masked]>
Date: Sun, 29 Oct 2023 15:37:01 +0100

Change-Id: Ibd9df5c77fae83c3e90c4e2dc77b3cfb5e6a482b
---
 gnu/packages/erlang-xyz.scm | 17 +++++++++++++++++
 gnu/packages/erlang.scm     | 17 -----------------
 2 files changed, 17 insertions(+), 17 deletions(-)

diff --git a/gnu/packages/erlang-xyz.scm b/gnu/packages/erlang-xyz.scm
index 61d7416a..426a5f95 100644
--- a/gnu/packages/erlang-xyz.scm
+++ b/gnu/packages/erlang-xyz.scm
@@ -136,6 +136,23 @@ (define-public erlang-rebar3-raw-deps
 applications as a dependent libraries.")
     (license license:expat)))
 
+(define-public erlang-rebar3-proper
+  (package
+    (name "erlang-rebar3-proper")
+    (version "0.12.1")
+    (source
+      (origin
+        (method url-fetch)
+        (uri (hexpm-uri name version))
+        (sha256
+          (base32 "1f174fb6h2071wr7qbw9aqqvnglzsjlylmyi8215fhrmi38w94b6"))))
+    (build-system rebar-build-system)
+    (home-page "https://github.com/ferd/rebar3_proper")
+    (synopsis "Rebar3 PropEr plugin")
+    (description "This plugin allows running PropEr test suites from within
+rebar3.")
+    (license license:bsd-3)))
+
 ;;;
 ;;; Avoid adding new packages to the end of this file. To reduce the chances
 ;;; of a merge conflict, place them above by existing packages with similar
diff --git a/gnu/packages/erlang.scm b/gnu/packages/erlang.scm
index 147b0451..8269cba1 100644
--- a/gnu/packages/erlang.scm
+++ b/gnu/packages/erlang.scm
@@ -638,23 +638,6 @@ (define-public rebar3
 of locations (git, hg, etc).")
     (license license:asl2.0)))
 
-(define-public erlang-rebar3-proper
-  (package
-    (name "erlang-rebar3-proper")
-    (version "0.12.1")
-    (source
-      (origin
-        (method url-fetch)
-        (uri (hexpm-uri name version))
-        (sha256
-          (base32 "1f174fb6h2071wr7qbw9aqqvnglzsjlylmyi8215fhrmi38w94b6"))))
-    (build-system rebar-build-system)
-    (home-page "https://github.com/ferd/rebar3_proper")
-    (synopsis "Rebar3 PropEr plugin")
-    (description "This plugin allows running PropEr test suites from within
-rebar3.")
-    (license license:bsd-3)))
-
 (define-public erlang-lfe
   (package
     (name "erlang-lfe")
-- 
2.41.0