automatic import of ghc-type-equalityopeneuler23.09

4 files changed, 147 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index e69de29..f2824f7 100644
--- a/.gitignore
+++ b/.gitignore
@@ -0,0 +1 @@
+/type-equality-1.tar.gz
diff --git a/ghc-type-equality.spec b/ghc-type-equality.spec
new file mode 100644
index 0000000..2382900
--- /dev/null
+++ b/ghc-type-equality.spec
@@ -0,0 +1,81 @@
+%global pkg_name type-equality
+%global pkgver %{pkg_name}-%{version}
+
+Name:           ghc-%{pkg_name}
+Version:        1
+Release:        1
+Summary:        Data.Type.Equality compat package
+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/5.cabal#/%{pkg_name}.cabal
+BuildRequires:  ghc-Cabal-devel
+BuildRequires:  ghc-base-devel
+BuildRequires:  ghc-base-prof
+BuildRequires:  ghc-rpm-macros
+ExcludeArch:    %{ix86}
+
+%description
+This library defines a propositional equality data type, shims
+'Data.Type.Equality' as well as possible for older GHCs (< 7.8).
+
+' data a :~: b where Refl :: a :~: a '
+
+The module 'Data.Type.Equality.Hetero' shims ':~~:' equality, for compilers
+with 'PolyKinds'.
+
+%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> 1-1
+- Initial packaging (Version 1)
diff --git a/sources b/sources
new file mode 100644
index 0000000..b1c3045
--- /dev/null
+++ b/sources
@@ -0,0 +1 @@
+b7997763761b79e1b651d5815b1aae3a  type-equality-1.tar.gz
diff --git a/type-equality.cabal b/type-equality.cabal
new file mode 100755
index 0000000..80a54c1
--- /dev/null
+++ b/type-equality.cabal
@@ -0,0 +1,64 @@
+name:               type-equality
+version:            1
+x-revision:         5
+stability:          provisional
+cabal-version:      >=1.10
+build-type:         Simple
+author:
+  Oleg Grenrus <oleg.grenrus@iki.fi>, Ryan Scott <ryan.gl.scott@gmail.com>, Erik Hesselink <hesselink@gmail.com>, Martijn van Steenbergen
+
+maintainer:
+  Oleg Grenrus <oleg.grenrus@iki.fi>, Ryan Scott <ryan.gl.scott@gmail.com>, Erik Hesselink <hesselink@gmail.com>
+
+license:            BSD3
+license-file:       LICENSE
+homepage:           https://github.com/hesselink/type-equality
+category:           Data, Dependent Types
+synopsis:           Data.Type.Equality compat package
+description:
+  This library defines a propositional equality data type,
+  shims @Data.Type.Equality@ as well as possible for older GHCs (< 7.8).
+  .
+  @
+  data a :~: b where
+  \    Refl :: a :~: a
+  @
+  .
+  The module @Data.Type.Equality.Hetero@ shims @:~~:@ equality, for
+  compilers with @PolyKinds@
+
+extra-source-files: CHANGELOG.md
+tested-with:
+  GHC ==7.0.4
+   || ==7.2.2
+   || ==7.4.2
+   || ==7.6.3
+   || ==7.8.4
+   || ==7.10.3
+   || ==8.0.2
+   || ==8.2.2
+   || ==8.4.4
+   || ==8.6.5
+   || ==8.8.4
+   || ==8.10.7
+   || ==9.0.2
+   || ==9.2.7
+   || ==9.4.4
+   || ==9.6.1
+
+source-repository head
+  type:     git
+  location: git://github.com/hesselink/type-equality
+
+library
+  default-language: Haskell2010
+  build-depends:    base >=4.3 && <4.19
+
+  if !impl(ghc >=7.8)
+    hs-source-dirs:  src-old
+    exposed-modules: Data.Type.Equality
+
+  if impl(ghc >=8.0)
+    hs-source-dirs:   src-hetero
+    exposed-modules:  Data.Type.Equality.Hetero
+    other-extensions: PolyKinds