diff --git a/.gitignore b/.gitignore
--- a/.gitignore
+++ b/.gitignore
@@ -13,3 +13,22 @@
 tags
 wiki
 wip
+dist-newstyle/
+.stack-work/
+cabal-dev
+*.chi
+*.chs.h
+*.dyn_o
+*.dyn_hi
+.hpc
+.hsenv
+.cabal-sandbox/
+cabal.sandbox.config
+*.prof
+*.aux
+*.hp
+*.eventlog
+cabal.project.local
+cabal.project.local~
+.HTF/
+.ghc.environment.*
diff --git a/.travis.yml b/.travis.yml
deleted file mode 100644
--- a/.travis.yml
+++ /dev/null
@@ -1,1 +0,0 @@
-language: haskell
diff --git a/CHANGELOG.markdown b/CHANGELOG.markdown
--- a/CHANGELOG.markdown
+++ b/CHANGELOG.markdown
@@ -1,3 +1,21 @@
+0.7.4 [2025.12.08]
+------------------
+* Drop support for pre-8.0 versions of GHC.
+
+0.7.3 [2019.05.10]
+------------------
+* Backport the `Lift Void` instance introduced in `template-haskell-2.15.0.0`.
+
+0.7.2
+-----
+* Only depend on `deepseq`, `hashable`, and `semigroups` if using GHC 7.8 or earlier.
+* Cleaned up spurious "redundant constraint" warnings on GHC 8+
+
+0.7.1
+-----
+* Support `semigroups` 0.17 on older GHCs
+* Backported `NFData`'s `semigroup` instance to older GHCs.
+
 0.7
 ---
 * adapt to `Data.Void` being moved into `base-4.8`
diff --git a/LICENSE b/LICENSE
--- a/LICENSE
+++ b/LICENSE
@@ -1,4 +1,4 @@
-Copyright 2013 Edward Kmett
+Copyright 2015 Edward Kmett
 
 All rights reserved.
 
diff --git a/README.markdown b/README.markdown
--- a/README.markdown
+++ b/README.markdown
@@ -1,7 +1,7 @@
 void
 ====
 
-[![Build Status](https://secure.travis-ci.org/ekmett/void.png?branch=master)](http://travis-ci.org/ekmett/void)
+[![Hackage](https://img.shields.io/hackage/v/void.svg)](https://hackage.haskell.org/package/void) [![Build Status](https://github.com/ekmett/void/workflows/Haskell-CI/badge.svg)](https://github.com/ekmett/void/actions?query=workflow%3AHaskell-CI)
 
 This package provides a canonical 'uninhabited' data type for Haskell. This arises in a surprisingly wide array of situations in practice.
 
diff --git a/src-old/Data/Void.hs b/src-old/Data/Void.hs
deleted file mode 100644
--- a/src-old/Data/Void.hs
+++ /dev/null
@@ -1,111 +0,0 @@
-{-# LANGUAGE CPP #-}
-#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 702
-{-# LANGUAGE Trustworthy #-}
-#endif
-
-#ifdef LANGUAGE_DeriveDataTypeable
-{-# LANGUAGE DeriveDataTypeable #-}
-#endif
-
-#ifdef LANGUAGE_DeriveGeneric
-{-# LANGUAGE DeriveGeneric #-}
-{-# LANGUAGE StandaloneDeriving #-}
-#endif
-
-#ifndef MIN_VERSION_base
-#define MIN_VERSION_base(x,y,z) 1
-#endif
------------------------------------------------------------------------------
--- |
--- Copyright   :  (C) 2008-2013 Edward Kmett
--- License     :  BSD-style (see the file LICENSE)
---
--- Maintainer  :  Edward Kmett <ekmett@gmail.com>
--- Stability   :  provisional
--- Portability :  portable
---
-----------------------------------------------------------------------------
-module Data.Void
-  ( Void
-  , absurd
-  , vacuous
-  , vacuousM
-  ) where
-
-import Control.Monad (liftM)
-import Data.Ix
-import Data.Hashable
-import Data.Semigroup (Semigroup(..))
-
-#ifdef LANGUAGE_DeriveDataTypeable
-import Data.Data
-#endif
-
-#ifdef LANGUAGE_DeriveGeneric
-import GHC.Generics
-#endif
-
-#if MIN_VERSION_base(4,0,0)
-import Control.Exception
-#endif
-
--- | A logically uninhabited data type.
-#if __GLASGOW_HASKELL__ < 700
-data Void = Void !Void
-#else
-newtype Void = Void Void
-#endif
-#ifdef LANGUAGE_DeriveDataTypeable
-  deriving (Data, Typeable)
-#endif
-
-#ifdef LANGUAGE_DeriveGeneric
-deriving instance Generic Void
-#endif
-
-instance Eq Void where
-  _ == _ = True
-
-instance Hashable Void where
-  hashWithSalt _ = absurd
-
-instance Ord Void where
-  compare _ _ = EQ
-
-instance Show Void where
-  showsPrec _ = absurd
-
--- | Reading a 'Void' value is always a parse error, considering 'Void' as
--- a data type with no constructors.
-instance Read Void where
-  readsPrec _ _ = []
-
--- | Since 'Void' values logically don't exist, this witnesses the logical
--- reasoning tool of \"ex falso quodlibet\".
-absurd :: Void -> a
-absurd a = a `seq` spin a where
-   spin (Void b) = spin b
-
--- | If 'Void' is uninhabited then any 'Functor' that holds only values of type 'Void'
--- is holding no values.
-vacuous :: Functor f => f Void -> f a
-vacuous = fmap absurd
-
--- | If 'Void' is uninhabited then any 'Monad' that holds values of type 'Void'
--- is holding no values.
-vacuousM :: Monad m => m Void -> m a
-vacuousM = liftM absurd
-
-instance Semigroup Void where
-  a <> _ = a
-  times1p _ a = a
-
-instance Ix Void where
-  range _ = []
-  index _ = absurd
-  inRange _ = absurd
-  rangeSize _ = 0
-
-#if MIN_VERSION_base(4,0,0)
-instance Exception Void
-#endif
diff --git a/src/Data/Void/Unsafe.hs b/src/Data/Void/Unsafe.hs
--- a/src/Data/Void/Unsafe.hs
+++ b/src/Data/Void/Unsafe.hs
@@ -1,11 +1,12 @@
 {-# LANGUAGE CPP #-}
-#if !defined(SAFE) && defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 704
+#if !defined(SAFE) && defined(__GLASGOW_HASKELL__)
 #define UNSAFE
 {-# LANGUAGE Unsafe #-}
 #endif
+{-# OPTIONS_GHC -Wno-redundant-constraints #-} -- they aren't redundant!
 -----------------------------------------------------------------------------
 -- |
--- Copyright   :  (C) 2008-2013 Edward Kmett
+-- Copyright   :  (C) 2008-2015 Edward Kmett
 -- License     :  BSD-style (see the file LICENSE)
 --
 -- Maintainer  :  Edward Kmett <ekmett@gmail.com>
@@ -24,7 +25,7 @@
 import Unsafe.Coerce
 #endif
 
--- | If 'Void' is uninhabited than any 'Functor' that holds only values of the type 'Void'
+-- | If 'Void' is uninhabited then any 'Functor' that holds only values of the type 'Void'
 -- is holding no values.
 --
 -- This is only safe for valid functors that do not perform GADT-like analysis on the argument.
diff --git a/void.cabal b/void.cabal
--- a/void.cabal
+++ b/void.cabal
@@ -1,6 +1,6 @@
 name:          void
 category:      Data Structures
-version:       0.7
+version:       0.7.4
 license:       BSD3
 cabal-version: >= 1.10
 license-file:  LICENSE
@@ -9,22 +9,34 @@
 stability:     portable
 homepage:      http://github.com/ekmett/void
 bug-reports:   http://github.com/ekmett/void/issues
-copyright:     Copyright (C) 2008-2013 Edward A. Kmett
+copyright:     Copyright (C) 2008-2015 Edward A. Kmett
 synopsis:      A Haskell 98 logically uninhabited data type
 description:   A Haskell 98 logically uninhabited data type, used to indicate that a given term should not exist.
 build-type:    Simple
+tested-with:   GHC==9.12.2
+             , GHC==9.10.3
+             , GHC==9.8.4
+             , GHC==9.6.6
+             , GHC==9.4.8
+             , GHC==9.2.8
+             , GHC==9.0.2
+             , GHC==8.10.7
+             , GHC==8.8.4
+             , GHC==8.6.5
+             , GHC==8.4.4
+             , GHC==8.2.2
+             , GHC==8.0.2
 
 extra-source-files:
   .ghci
   .gitignore
-  .travis.yml
   .vim.custom
   CHANGELOG.markdown
   README.markdown
 
 source-repository head
   type: git
-  location: git://github.com/ekmett/void.git
+  location: https://github.com/ekmett/void.git
 
 flag safe
   manual: True
@@ -36,26 +48,9 @@
   exposed-modules:
     Data.Void.Unsafe
 
-  if !impl(ghc>=7.9)
-    hs-source-dirs: src-old
-    exposed-modules: Data.Void
-
-  build-depends:
-    base       >= 3 && < 10,
-    hashable   >= 1.1,
-    semigroups >= 0.8.2
+  build-depends: base >= 3 && < 10
 
   ghc-options: -Wall
 
   if flag(safe)
     cpp-options: -DSAFE
-
-  if impl(ghc)
-    other-extensions: DeriveDataTypeable
-    cpp-options: -DLANGUAGE_DeriveDataTypeable
-
-  if impl(ghc >= 7.2)
-    other-extensions: StandaloneDeriving
-    -- other-extensions: DeriveGeneric isn't known to cabal yet
-    cpp-options: -DLANGUAGE_DeriveGeneric
-    build-depends: ghc-prim