Use hex for proper

arcusfelis · Apr 30, 2024 · b1a8c9f · b1a8c9f
1 parent 8597d54
commit b1a8c9f
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -11,3 +11,5 @@ doc/README.md
 *.gcov
 *.gcda
 *.gcno
+TEST*
+_build
diff --git a/rebar.config b/rebar.config
@@ -2,6 +2,6 @@
 %% ex: ft=erlang ts=4 sw=4 et
 
 {deps, [
-   {proper, ".*", {git, "git://github.com/manopapad/proper.git", "HEAD"}}
+    {proper, "1.4.0"}
 ]}.
 {eunit_opts, [verbose, {report,{eunit_surefire,[{dir,"."}]}}]}.