Hello community,
here is the log from the commit of package ghc-type-equality for
openSUSE:Factory checked in at 2020-05-11 13:36:37
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Comparing /work/SRC/openSUSE:Factory/ghc-type-equality (Old)
and /work/SRC/openSUSE:Factory/.ghc-type-equality.new.2738 (New)
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "ghc-type-equality"
Mon May 11 13:36:37 2020 rev:3 rq:801060 version:1
Changes:
--------
--- /work/SRC/openSUSE:Factory/ghc-type-equality/ghc-type-equality.changes
2019-12-27 13:58:43.888813787 +0100
+++
/work/SRC/openSUSE:Factory/.ghc-type-equality.new.2738/ghc-type-equality.changes
2020-05-11 13:36:41.160530489 +0200
@@ -1,0 +2,5 @@
+Thu May 7 08:38:41 UTC 2020 - Peter Simons <[email protected]>
+
+- Update Cabal file to get more accurate dependency information.
+
+-------------------------------------------------------------------
New:
----
type-equality.cabal
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Other differences:
------------------
++++++ ghc-type-equality.spec ++++++
--- /var/tmp/diff_new_pack.wXmIVj/_old 2020-05-11 13:36:42.932534204 +0200
+++ /var/tmp/diff_new_pack.wXmIVj/_new 2020-05-11 13:36:42.936534212 +0200
@@ -24,6 +24,7 @@
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/1.cabal#/%{pkg_name}.cabal
BuildRequires: ghc-Cabal-devel
BuildRequires: ghc-rpm-macros
@@ -48,8 +49,7 @@
%prep
%setup -q -n %{pkg_name}-%{version}
-echo > Setup.hs 'import Distribution.Simple'
-echo >>Setup.hs 'main = defaultMain'
+cp -p %{SOURCE1} %{pkg_name}.cabal
%build
%ghc_lib_build
++++++ type-equality.cabal ++++++
name: type-equality
version: 1
x-revision: 1
stability: provisional
cabal-version: >=1.10
build-type: Simple
author: Oleg Grenrus <[email protected]>, Ryan Scott
<[email protected]>, Erik Hesselink <[email protected]>, Martijn van
Steenbergen
maintainer: Oleg Grenrus <[email protected]>, Ryan Scott
<[email protected]>, Erik Hesselink <[email protected]>
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 ==8.8.1 || ==8.6.5 || ==8.4.4 || ==8.2.2 || ==8.0.2 || ==7.10.3 ||
==7.8.4 || ==7.6.3 || ==7.4.2 || ==7.2.2 || ==7.0.4
source-repository head
type: git
location: git://github.com/hesselink/type-equality
library
default-language: Haskell2010
build-depends: base >=4.3 && <4.15
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
