haskell-microlens (0.4.10-1build1) eoan; urgency=medium * Rebuild against new GHC abi. -- Gianfranco Costamagna Sat, 03 Aug 2019 12:17:24 +0200 haskell-microlens (0.4.10-1) unstable; urgency=medium * New upstream release -- Clint Adams Sun, 28 Jul 2019 15:55:33 -0400 haskell-microlens (0.4.9.1-1) unstable; urgency=medium [ Clint Adams ] * Set Rules-Requires-Root to no. [ Ilias Tsitsimpis ] * Bump debhelper compat level to 10 * New upstream release -- Ilias Tsitsimpis Sat, 29 Sep 2018 17:33:08 +0300 haskell-microlens (0.4.8.3-1) 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. * New upstream release -- Clint Adams Mon, 09 Apr 2018 16:32:32 -0400 haskell-microlens (0.4.8.1-1) unstable; urgency=medium * New upstream release -- Sean Whitton Sun, 03 Sep 2017 13:55:57 -0700 haskell-microlens (0.4.8.0-1) unstable; urgency=medium * New upstream release -- Clint Adams Sat, 17 Jun 2017 15:04:28 -0400 haskell-microlens (0.4.7.0-3) unstable; urgency=medium * Upload to unstable as part of GHC 8 transition. -- Clint Adams Thu, 27 Oct 2016 18:34:53 -0400 haskell-microlens (0.4.7.0-2) experimental; urgency=medium * Temporarily build-depend on ghc 8. -- Clint Adams Fri, 14 Oct 2016 11:21:34 -0400 haskell-microlens (0.4.7.0-1) unstable; urgency=medium * New upstream release -- Clint Adams Thu, 25 Aug 2016 22:41:47 -0400 haskell-microlens (0.4.6.0-1) unstable; urgency=medium * New upstream release -- Clint Adams Thu, 04 Aug 2016 13:33:57 -0400 haskell-microlens (0.4.5.0-1) unstable; urgency=medium * New upstream release -- Clint Adams Tue, 12 Jul 2016 16:58:00 -0400 haskell-microlens (0.4.4.0-1) unstable; urgency=low * Initial release -- Joachim Breitner Tue, 31 May 2016 16:49:35 +0200