3 files changed, 33 insertions, 0 deletions
diff --git a/dev-erlang/proper/Manifest b/dev-erlang/proper/Manifest
new file mode 100644
index 000000000000..12c534063cf3
--- /dev/null
+++ b/dev-erlang/proper/Manifest
@@ -0,0 +1 @@
+DIST proper-1.1_p20160426.tar.bz2 268512 SHA256 35a9eba20bd22f9f6231c660d34d07a7bb8532d7fb90e1493d3cd2a9186603d1 SHA512 da9d5bfec99df620d1813a4690235b3862eaaca2c360303dabb27a6cf828046e46ee2adbb1941b2b5330621e30808fb269995e0b1dec0d29cf96f07f32fd1da7 WHIRLPOOL 5dd22bdaefce6ee32e9a4cf9b04c71a0373c88b5311f9d97bbd69db7c910420f83a843cf304040c04dbd233a248abbbf8c62d386065c9805c8bdcf0a6c2c81f7
diff --git a/dev-erlang/proper/metadata.xml b/dev-erlang/proper/metadata.xml
new file mode 100644
index 000000000000..674f5ad944f3
--- /dev/null
+++ b/dev-erlang/proper/metadata.xml
@@ -0,0 +1,8 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+	<maintainer type="person">
+		<email>aidecoe@gentoo.org</email>
+		<name>Amadeusz Żołnowski</name>
+	</maintainer>
+</pkgmetadata>
diff --git a/dev-erlang/proper/proper-1.1_p20160426.ebuild b/dev-erlang/proper/proper-1.1_p20160426.ebuild
new file mode 100644
index 000000000000..eb5b6c778280
--- /dev/null
+++ b/dev-erlang/proper/proper-1.1_p20160426.ebuild
@@ -0,0 +1,24 @@
+# Copyright 1999-2016 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI=6
+
+inherit rebar
+
+DESCRIPTION="QuickCheck-inspired property-based testing tool for Erlang"
+HOMEPAGE="https://github.com/manopapad/proper"
+SRC_URI="https://dev.gentoo.org/~aidecoe/distfiles/${CATEGORY}/${PN}/${P}.tar.bz2"
+
+LICENSE="GPL-3"
+SLOT="0"
+KEYWORDS="~amd64 ~arm ~ppc ~x86"
+
+DEPEND=">=dev-lang/erlang-17.1"
+RDEPEND="${DEPEND}"
+
+DOCS=( README.md THANKS )
+
+src_configure() {
+	./configure
+}