automatic import of ghc-singleton-boolopeneuler23.09

4 files changed, 137 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index e69de29..e56e72b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -0,0 +1 @@
+/singleton-bool-0.1.6.tar.gz
diff --git a/ghc-singleton-bool.spec b/ghc-singleton-bool.spec
new file mode 100644
index 0000000..21fcf77
--- /dev/null
+++ b/ghc-singleton-bool.spec
@@ -0,0 +1,86 @@
+%global pkg_name singleton-bool
+%global pkgver %{pkg_name}-%{version}
+
+Name:           ghc-%{pkg_name}
+Version:        0.1.6
+Release:        1
+Summary:        Type level booleans
+License:        BSD-3-Clause
+URL:            https://hackage.haskell.org/package/%{pkg_name}
+Source0:        https://hackage.haskell.org/package/%{pkg_name}-%{version}/%{pkg_name}-%{version}.tar.gz
+Source1:        https://hackage.haskell.org/package/%{pkg_name}-%{version}/revision/2.cabal#/%{pkg_name}.cabal
+BuildRequires:  ghc-Cabal-devel
+BuildRequires:  ghc-base-devel
+BuildRequires:  ghc-base-prof
+BuildRequires:  ghc-boring-devel
+BuildRequires:  ghc-boring-prof
+BuildRequires:  ghc-dec-devel
+BuildRequires:  ghc-dec-prof
+BuildRequires:  ghc-deepseq-devel
+BuildRequires:  ghc-deepseq-prof
+BuildRequires:  ghc-rpm-macros
+BuildRequires:  ghc-some-devel
+BuildRequires:  ghc-some-prof
+ExcludeArch:    %{ix86}
+
+%description
+Type level booleans.
+
+'singletons' package provides similar functionality, but it has tight
+dependency constraints.
+
+%package devel
+Summary:        Haskell %{pkg_name} library development files
+Requires:       %{name} = %{version}-%{release}
+Requires:       ghc-compiler = %{ghc_version}
+Requires(post): ghc-compiler = %{ghc_version}
+Requires(postun): ghc-compiler = %{ghc_version}
+
+%description devel
+This package provides the Haskell %{pkg_name} library development files.
+
+%package -n ghc-%{pkg_name}-help
+Summary:        Haskell %{pkg_name} library documentation
+BuildArch:      noarch
+
+%description -n ghc-%{pkg_name}-help
+This package provides the Haskell %{pkg_name} library documentation.
+
+%package -n ghc-%{pkg_name}-prof
+Summary:        Haskell %{pkg_name} profiling library
+Requires:       ghc-%{pkg_name}-devel = %{version}-%{release}
+Supplements:    (ghc-%{pkg_name}-devel and ghc-prof)
+
+%description -n ghc-%{pkg_name}-prof
+This package provides the Haskell %{pkg_name} profiling library.
+
+%prep
+%autosetup -n %{pkg_name}-%{version}
+cp -p %{SOURCE1} %{pkg_name}.cabal
+
+%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
+%doc CHANGELOG.md
+
+%files -n ghc-%{pkg_name}-help -f ghc-%{pkg_name}-help.files
+%license LICENSE
+
+%files -n ghc-%{pkg_name}-prof -f ghc-%{pkg_name}-prof.files
+
+%changelog
+* Thu Sep 28 2023 Lin Runze <lrzlin@163.com> 0.1.6-1
+- Initial packaging (Version 0.1.6)
diff --git a/singleton-bool.cabal b/singleton-bool.cabal
new file mode 100755
index 0000000..864dd98
--- /dev/null
+++ b/singleton-bool.cabal
@@ -0,0 +1,49 @@
+cabal-version:      >=1.10
+name:               singleton-bool
+version:            0.1.6
+x-revision:         2
+synopsis:           Type level booleans
+description:
+  Type level booleans.
+  .
+  @singletons@ package provides similar functionality,
+  but it has tight dependency constraints.
+
+category:           Web
+homepage:           https://github.com/phadej/singleton-bool#readme
+bug-reports:        https://github.com/phadej/singleton-bool/issues
+author:             Oleg Grenrus <oleg.grenrus@iki.fi>
+maintainer:         Oleg Grenrus <oleg.grenrus@iki.fi>
+license:            BSD3
+license-file:       LICENSE
+build-type:         Simple
+extra-source-files: CHANGELOG.md
+tested-with:
+  GHC ==7.8.4
+   || ==7.10.3
+   || ==8.0.2
+   || ==8.2.2
+   || ==8.4.4
+   || ==8.6.5
+   || ==8.8.4
+   || ==8.10.4
+   || ==9.0.2
+   || ==9.2.4
+   || ==9.4.1
+
+source-repository head
+  type:     git
+  location: https://github.com/phadej/singleton-bool
+
+library
+  hs-source-dirs:   src
+  ghc-options:      -Wall
+  build-depends:
+      base     >=4.7   && <4.18
+    , boring   >=0.2   && <0.3
+    , dec      >=0.0.3 && <0.1
+    , deepseq  >=1.3   && <1.5
+    , some     >=1.0.3 && <1.1
+
+  exposed-modules:  Data.Singletons.Bool
+  default-language: Haskell2010
diff --git a/sources b/sources
new file mode 100644
index 0000000..7bafddf
--- /dev/null
+++ b/sources
@@ -0,0 +1 @@
+d7794563e298785b0d84a77a2f86aa16  singleton-bool-0.1.6.tar.gz