haskell-cryptol (3.0.0-1build1) noble; urgency=medium

  * Rebuild against 'new GHC ABI'.

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Tue, 09 Jan 2024 10:46:00 +0100

haskell-cryptol (3.0.0-1) unstable; urgency=medium

  [ Ilias Tsitsimpis ]
  * Declare compliance with Debian policy 4.6.2

  [ Clint Adams ]
  * New upstream version.

 -- Clint Adams <clint@debian.org>  Tue, 24 Oct 2023 08:37:44 -0400

haskell-cryptol (2.8.0-1) unstable; urgency=medium

  * New upstream version.
  * Patch for newer base-compat.  closes: #964835.

 -- Clint Adams <clint@debian.org>  Fri, 10 Jul 2020 18:14:32 -0400

haskell-cryptol (2.6.0-3) unstable; urgency=medium

  * Patch for newer base-compat.

 -- Clint Adams <clint@debian.org>  Fri, 09 Nov 2018 20:05:45 -0600

# Older entries have been removed from this changelog.
# To read the complete changelog use `apt changelog cryptol`.
