haskell-type-level-numbers (0.1.1.2-3) unstable; urgency=medium [ Sean Whitton ] * Orphan package. * d/control: Reformat Source stanza. [ Ilias Tsitsimpis ] * Declare compliance with Debian policy 4.7.0 * Set Debian Haskell Group as the maintainer * Sourceful upload for GHC 9.6 -- Ilias Tsitsimpis Sat, 14 Sep 2024 22:49:07 +0300 haskell-type-level-numbers (0.1.1.2-2) unstable; urgency=medium * Declare compliance with Debian policy 4.6.2 * Sourceful upload for GHC 9.4 -- Ilias Tsitsimpis Sun, 27 Aug 2023 12:40:12 +0300 haskell-type-level-numbers (0.1.1.2-1) unstable; urgency=medium * New upstream release -- Clint Adams Tue, 19 Jul 2022 11:04:50 -0400 haskell-type-level-numbers (0.1.1.1-7) unstable; urgency=medium * Declare compliance with Debian policy 4.6.1 * Sourceful upload for GHC 9.0.2 -- Ilias Tsitsimpis Wed, 29 Jun 2022 20:45:50 +0300 haskell-type-level-numbers (0.1.1.1-6) unstable; urgency=medium * Sourceful upload for GHC 8.8 -- Ilias Tsitsimpis Mon, 08 Jun 2020 17:00:51 +0300 haskell-type-level-numbers (0.1.1.1-5) unstable; urgency=medium [ Clint Adams ] * Set Rules-Requires-Root to no. [ Ilias Tsitsimpis ] * Bump debhelper compat level to 10 -- Ilias Tsitsimpis Sun, 30 Sep 2018 21:23:51 +0300 haskell-type-level-numbers (0.1.1.1-4) unstable; urgency=medium [ Ilias Tsitsimpis ] * Change Priority to optional. Since Debian Policy version 4.0.1, priority extra has been deprecated. * Use the HTTPS form of the copyright-format URL * Modify d/watch and Source field in d/copyright to use HTTPS * Declare compliance with Debian policy 4.1.1 * Use salsa.debian.org URLs in Vcs-{Browser,Git} fields [ Clint Adams ] * Bump to Standards-Version 4.1.4. -- Clint Adams Mon, 09 Apr 2018 20:05:08 -0400 haskell-type-level-numbers (0.1.1.1-3) unstable; urgency=medium * Upload to unstable as part of GHC 8 transition. -- Clint Adams Thu, 27 Oct 2016 18:36:41 -0400 haskell-type-level-numbers (0.1.1.1-2) experimental; urgency=medium * Temporarily build-depend on ghc 8. -- Clint Adams Fri, 14 Oct 2016 14:29:09 -0400 haskell-type-level-numbers (0.1.1.1-1) unstable; urgency=medium * Initial release (Closes: #836550). -- Sean Whitton Tue, 13 Sep 2016 18:38:10 -0700