diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..682f53c
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+/djinn-lib-0.0.1.2.tar.gz
diff --git a/README.md b/README.md
deleted file mode 100644
index 40926c2..0000000
--- a/README.md
+++ /dev/null
@@ -1,3 +0,0 @@
-# ghc-djinn-lib
-
-The ghc-djinn-lib package
\ No newline at end of file
diff --git a/ghc-djinn-lib.spec b/ghc-djinn-lib.spec
new file mode 100644
index 0000000..67a397c
--- /dev/null
+++ b/ghc-djinn-lib.spec
@@ -0,0 +1,74 @@
+# generated by cabal-rpm-0.12.1
+# https://fedoraproject.org/wiki/Packaging:Haskell
+
+%global pkg_name djinn-lib
+%global pkgver %{pkg_name}-%{version}
+
+Name:           ghc-%{pkg_name}
+Version:        0.0.1.2
+Release:        1%{?dist}
+Summary:        Generate Haskell code from a type
+
+License:        BSD
+Url:            https://hackage.haskell.org/package/%{pkg_name}
+Source0:        https://hackage.haskell.org/package/%{pkgver}/%{pkgver}.tar.gz
+
+BuildRequires:  ghc-Cabal-devel
+BuildRequires:  ghc-rpm-macros
+# Begin cabal-rpm deps:
+BuildRequires:  ghc-containers-devel
+BuildRequires:  ghc-mtl-devel
+BuildRequires:  ghc-pretty-devel
+# End cabal-rpm deps
+
+%description
+Djinn uses a theorem prover for intuitionistic propositional logic to generate
+a Haskell expression when given a type. This is a library extracted from Djinn
+sources.
+
+
+%package devel
+Summary:        Haskell %{pkg_name} library development files
+Provides:       %{name}-static = %{version}-%{release}
+Provides:       %{name}-doc = %{version}-%{release}
+%if %{defined ghc_version}
+Requires:       ghc-compiler = %{ghc_version}
+Requires(post): ghc-compiler = %{ghc_version}
+Requires(postun): ghc-compiler = %{ghc_version}
+%endif
+Requires:       %{name}%{?_isa} = %{version}-%{release}
+
+%description devel
+This package provides the Haskell %{pkg_name} library development files.
+
+
+%prep
+%setup -q -n %{pkgver}
+
+
+%build
+%ghc_lib_build
+
+
+%install
+%ghc_lib_install
+
+
+%post devel
+%ghc_pkg_recache
+
+
+%postun devel
+%ghc_pkg_recache
+
+
+%files -f %{name}.files
+%license LICENSE
+
+
+%files devel -f %{name}-devel.files
+
+
+%changelog
+* Fri Apr  6 2018 Fedora Haskell SIG <haskell@lists.fedoraproject.org> - 0.0.1.2-1
+- spec file generated by cabal-rpm-0.12.1
diff --git a/sources b/sources
new file mode 100644
index 0000000..4270b90
--- /dev/null
+++ b/sources
@@ -0,0 +1 @@
+SHA512 (djinn-lib-0.0.1.2.tar.gz) = 403878b72540362a6b6d545a65ded9f10d05c623180adf8a03e732fac30dd00a42b090b9e4f9da16baa5dc1fdbd6f29a97158174917f3c0527a37b6ecbcfbe8e