Initial import (#1564682).

.gitignore

@@ -0,0 +1 @@
+/djinn-lib-0.0.1.2.tar.gz

README.md

@@ -1,3 +0,0 @@
-# ghc-djinn-lib
-
-The ghc-djinn-lib package

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

sources

@@ -0,0 +1 @@
+SHA512 (djinn-lib-0.0.1.2.tar.gz) = 403878b72540362a6b6d545a65ded9f10d05c623180adf8a03e732fac30dd00a42b090b9e4f9da16baa5dc1fdbd6f29a97158174917f3c0527a37b6ecbcfbe8e