--- rebar.config.orig	2018-04-28 10:59:43 UTC
+++ rebar.config
@@ -5,10 +5,8 @@
 {profiles, [
   {test, [
     {plugins, [
-        {rebar3_proper, "0.9.0"}
     ]},
     {deps, [
-        {proper, "1.2.0"}
     ]}
   ]}
 ]}.