Hello, There was a bug in happy [#876605] that caused haskell-cryptol to FTBFS. This has been fixed in happy/1.19.8-1. Please give back haskell-cryptol. gb haskell-cryptol_2.4.0-2 . amd64 i386 hurd-i386 kfreebsd-amd64 kfreebsd-i386 Thanks, -- Ilias