diff --git a/ghc-invariant.changes b/ghc-invariant.changes
index 0b486ac..24f20ff 100644
--- a/ghc-invariant.changes
+++ b/ghc-invariant.changes
@@ -1,3 +1,16 @@
+-------------------------------------------------------------------
+Tue Oct 6 08:56:25 UTC 2020 - psimons@suse.com
+
+- Update invariant to version 0.5.4.
+ # 0.5.4 [2020.10.01]
+ * Fix a bug in which `deriveInvariant2` would fail on certain data types with
+ three or parameters if the first two parameters had phantom roles.
+ * Fix a bug in which `deriveInvariant(2)` would fail on sufficiently complex
+ uses of rank-n types in constructor fields.
+ * Fix a bug in which `deriveInvariant(2)` would needlessly reject data types
+ whose two last type parameters appear as oversaturated arguments to a type
+ family.
+
-------------------------------------------------------------------
Mon Aug 31 09:34:33 UTC 2020 - psimons@suse.com
diff --git a/ghc-invariant.spec b/ghc-invariant.spec
index eac7a7f..82ef040 100644
--- a/ghc-invariant.spec
+++ b/ghc-invariant.spec
@@ -19,13 +19,12 @@
%global pkg_name invariant
%bcond_with tests
Name: ghc-%{pkg_name}
-Version: 0.5.3
+Version: 0.5.4
Release: 0
Summary: Haskell98 invariant functors
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-StateVar-devel
BuildRequires: ghc-array-devel
@@ -66,7 +65,6 @@ This package provides the Haskell %{pkg_name} library development files.
%prep
%autosetup -n %{pkg_name}-%{version}
-cp -p %{SOURCE1} %{pkg_name}.cabal
%build
%ghc_lib_build
diff --git a/invariant-0.5.3.tar.gz b/invariant-0.5.3.tar.gz
deleted file mode 100644
index a79e459..0000000
--- a/invariant-0.5.3.tar.gz
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:d73e5def38da9fdd85def073857aa5f4b1d3b0c2df05c43d58a677cca02d440c
-size 24394
diff --git a/invariant-0.5.4.tar.gz b/invariant-0.5.4.tar.gz
new file mode 100644
index 0000000..05642da
--- /dev/null
+++ b/invariant-0.5.4.tar.gz
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:b9fa0a1805dde1a4d39bed154e297a37933d2a82b295231098a76be9d60397ca
+size 26998
diff --git a/invariant.cabal b/invariant.cabal
deleted file mode 100644
index 8a4bc46..0000000
--- a/invariant.cabal
+++ /dev/null
@@ -1,76 +0,0 @@
-name: invariant
-version: 0.5.3
-x-revision: 1
-synopsis: Haskell98 invariant functors
-description: Haskell98 invariant functors (also known as exponential functors).
- .
- For more information, see Edward Kmett's article \"Rotten Bananas\":
- .
-
-category: Control, Data
-license: BSD2
-license-file: LICENSE
-homepage: https://github.com/nfrisby/invariant-functors
-bug-reports: https://github.com/nfrisby/invariant-functors/issues
-author: Nicolas Frisby
-maintainer: Nicolas Frisby ,
- Ryan Scott
-build-type: Simple
-cabal-version: >= 1.9.2
-tested-with: GHC == 7.0.4
- , GHC == 7.2.2
- , GHC == 7.4.2
- , GHC == 7.6.3
- , 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.1
-extra-source-files: CHANGELOG.md, README.md
-
-source-repository head
- type: git
- location: https://github.com/nfrisby/invariant-functors
-
-library
- exposed-modules: Data.Functor.Invariant
- , Data.Functor.Invariant.TH
- other-modules: Data.Functor.Invariant.TH.Internal
- , Paths_invariant
- hs-source-dirs: src
- build-depends: array >= 0.3 && < 0.6
- , base >= 4 && < 5
- , bifunctors >= 5.2 && < 6
- , comonad >= 5 && < 6
- , containers >= 0.1 && < 0.7
- , contravariant >= 0.5 && < 2
- , ghc-prim
- , profunctors >= 5.2.1 && < 6
- , StateVar >= 1.1 && < 2
- , stm >= 2.2 && < 3
- , tagged >= 0.7.3 && < 1
- , template-haskell >= 2.4 && < 2.17
- , th-abstraction >= 0.2.2 && < 0.4
- , transformers >= 0.2 && < 0.6
- , transformers-compat >= 0.3 && < 1
- , unordered-containers >= 0.2.4 && < 0.3
- ghc-options: -Wall
-
- if !impl(ghc >= 8.0)
- build-depends: semigroups >= 0.16.2 && < 1
-
-test-suite spec
- type: exitcode-stdio-1.0
- hs-source-dirs: test
- main-is: Spec.hs
- other-modules: InvariantSpec
- THSpec
- build-depends: base >= 4 && < 5
- , hspec >= 1.8
- , invariant
- , QuickCheck >= 2.11 && < 3
- , template-haskell >= 2.4 && < 2.17
- build-tool-depends: hspec-discover:hspec-discover
- ghc-options: -Wall