automatic import of ghc-constraintsopeneuler23.09

4 files changed, 196 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index e69de29..69c903d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -0,0 +1 @@
+/constraints-0.13.4.tar.gz
diff --git a/constraints.cabal b/constraints.cabal
new file mode 100755
index 0000000..f682403
--- /dev/null
+++ b/constraints.cabal
@@ -0,0 +1,94 @@
+name:          constraints

+category:      Constraints

+version:       0.13.4

+x-revision: 1

+license:       BSD2

+cabal-version: >= 1.10

+license-file:  LICENSE

+author:        Edward A. Kmett

+maintainer:    Edward A. Kmett <ekmett@gmail.com>

+stability:     experimental

+homepage:      http://github.com/ekmett/constraints/

+bug-reports:   http://github.com/ekmett/constraints/issues

+copyright:     Copyright (C) 2011-2015 Edward A. Kmett

+synopsis:      Constraint manipulation

+description:

+  GHC 7.4 gave us the ability to talk about @ConstraintKinds@. They stopped crashing the compiler in GHC 7.6.

+  .

+  This package provides a vocabulary for working with them.

+

+build-type:    Simple

+tested-with:   GHC == 7.8.4

+             , GHC == 7.10.3

+             , GHC == 8.0.2

+             , GHC == 8.2.2

+             , GHC == 8.4.4

+             , GHC == 8.6.5

+             , GHC == 8.8.4

+             , GHC == 8.10.7

+             , GHC == 9.0.2

+             , GHC == 9.2.1

+extra-source-files: README.markdown

+                  , CHANGELOG.markdown

+

+source-repository head

+  type: git

+  location: git://github.com/ekmett/constraints.git

+

+library

+  hs-source-dirs: src

+

+  default-language: Haskell2010

+  other-extensions:

+    FunctionalDependencies,

+    ScopedTypeVariables,

+    StandaloneDeriving,

+    FlexibleInstances,

+    FlexibleContexts,

+    ConstraintKinds,

+    KindSignatures,

+    TypeOperators,

+    Rank2Types,

+    GADTs

+

+  build-depends:

+    base >= 4.7 && < 5,

+    binary >= 0.7.1 && < 0.9,

+    deepseq >= 1.3 && < 1.6,

+    ghc-prim,

+    hashable >= 1.2 && < 1.5,

+    mtl >= 2.1.2 && < 2.4,

+    transformers >= 0.3.0.0 && < 0.7,

+    transformers-compat >= 0.5 && < 1,

+    type-equality >= 1 && < 2

+  if impl(ghc < 8.0)

+    build-depends: semigroups >= 0.17 && < 0.21

+

+  exposed-modules:

+    Data.Constraint

+    Data.Constraint.Deferrable

+    Data.Constraint.Forall

+    Data.Constraint.Lifting

+    Data.Constraint.Unsafe

+

+  if impl(ghc >= 8)

+    exposed-modules:

+      Data.Constraint.Nat

+      Data.Constraint.Symbol

+

+  ghc-options: -Wall

+  if impl(ghc >= 8.6)

+    ghc-options: -Wno-star-is-type

+

+test-suite spec

+  type: exitcode-stdio-1.0

+  default-language: Haskell2010

+  hs-source-dirs: tests

+  main-is: Spec.hs

+  other-modules: GH55Spec

+  ghc-options: -Wall -threaded -rtsopts

+  build-tool-depends: hspec-discover:hspec-discover >= 2

+  build-depends:

+    base >= 4.7 && < 5,

+    constraints,

+    hspec >= 2

diff --git a/ghc-constraints.spec b/ghc-constraints.spec
new file mode 100644
index 0000000..a7b3d34
--- /dev/null
+++ b/ghc-constraints.spec
@@ -0,0 +1,100 @@
+%global pkg_name constraints
+%global pkgver %{pkg_name}-%{version}
+
+%bcond_with tests
+Name:           ghc-%{pkg_name}
+Version:        0.13.4
+Release:        1
+Summary:        Constraint manipulation
+License:        BSD-2-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/1.cabal#/%{pkg_name}.cabal
+BuildRequires:  ghc-Cabal-devel
+BuildRequires:  ghc-base-devel
+BuildRequires:  ghc-base-prof
+BuildRequires:  ghc-binary-devel
+BuildRequires:  ghc-binary-prof
+BuildRequires:  ghc-deepseq-devel
+BuildRequires:  ghc-deepseq-prof
+BuildRequires:  ghc-hashable-devel
+BuildRequires:  ghc-hashable-prof
+BuildRequires:  ghc-mtl-devel
+BuildRequires:  ghc-mtl-prof
+BuildRequires:  ghc-rpm-macros
+BuildRequires:  ghc-transformers-compat-devel
+BuildRequires:  ghc-transformers-compat-prof
+BuildRequires:  ghc-transformers-devel
+BuildRequires:  ghc-transformers-prof
+BuildRequires:  ghc-type-equality-devel
+BuildRequires:  ghc-type-equality-prof
+ExcludeArch:    %{ix86}
+%if %{with tests}
+BuildRequires:  ghc-hspec-devel
+BuildRequires:  ghc-hspec-prof
+%endif
+
+%description
+GHC 7.4 gave us the ability to talk about 'ConstraintKinds'. They stopped
+crashing the compiler in GHC 7.6.
+
+This package provides a vocabulary for working with them.
+
+%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
+
+%check
+%cabal_test
+
+%post devel
+%ghc_pkg_recache
+
+%postun devel
+%ghc_pkg_recache
+
+%files -f %{name}.files
+%license LICENSE
+
+%files devel -f %{name}-devel.files
+%doc CHANGELOG.markdown README.markdown
+
+%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.13.4-1
+- Initial packaging (Version 0.13.4)
diff --git a/sources b/sources
new file mode 100644
index 0000000..c497e7d
--- /dev/null
+++ b/sources
@@ -0,0 +1 @@
+b5cbc23b68d271c8d2e3ced80c9b5be4  constraints-0.13.4.tar.gz