Colin Watson (2014-08-10):
> agda is failing on hurd-i386 and powerpc because haskell-quickcheck uses
> an overly-restrictive test to decide whether it needs to build the
> Test.QuickCheck.All module. I've just uploaded 2.7.6-3 to fix this;
> could you please set the following dep-wait so that ag
agda is failing on hurd-i386 and powerpc because haskell-quickcheck uses
an overly-restrictive test to decide whether it needs to build the
Test.QuickCheck.All module. I've just uploaded 2.7.6-3 to fix this;
could you please set the following dep-wait so that agda will be retried
at the appropriat
