diff --git a/erlang-proper.spec b/erlang-proper.spec
new file mode 100644
index 0000000..95a945d
--- /dev/null
+++ b/erlang-proper.spec
@@ -0,0 +1,38 @@
+%global realname proper
+%global upstream manopapad
+Name:       erlang-proper
+Version:    1.3
+Release:    1
+BuildArch:  noarch
+License:    GPLv3+
+Summary:    A QuickCheck-inspired property-based testing tool for Erlang
+URL:        https://github.com/manopapad/proper
+Source0:    https://github.com/manopapad/proper/archive/v%{version}/proper-%{version}.tar.gz
+BuildRequires: erlang-rebar
+%description
+PropEr (PROPerty-based testing tool for ERlang) is a QuickCheck-inspired
+open-source property-based testing tool for Erlang.
+
+%prep
+%autosetup -p1 -n proper-%{version}
+
+%build
+./make_doc
+%{erlang_compile}
+
+%install
+%{erlang_install}
+
+%check
+%{erlang_test}
+
+%files
+%license COPYING
+%doc doc
+%doc examples
+%doc README.md
+%{erlang_appdir}/
+
+%changelog
+* Sat Aug 29 2020 yaokai <yaokai13@huawei.com> - 1.3-1
+- package init
diff --git a/erlang-proper.yaml b/erlang-proper.yaml
new file mode 100644
index 0000000..f52bca3
--- /dev/null
+++ b/erlang-proper.yaml
@@ -0,0 +1,4 @@
+version_control: github
+src_repo: proper-testing/proper
+tag_prefix: "^v"
+seperator: "."
diff --git a/proper-1.3.tar.gz b/proper-1.3.tar.gz
new file mode 100644
index 0000000..902dbd7
Binary files /dev/null and b/proper-1.3.tar.gz differ