djinn (2014.9.7-9) unstable; urgency=medium * Patch to build with ghc-8.4 -- Ilias Tsitsimpis <email address hidden> Thu, 04 Oct 2018 19:10:56 +0300