Colin Watson <[email protected]> (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 agda will be retried > at the appropriate time? > > dw agda_2.4.0.2-1 . hurd-i386 powerpc . -m 'libghc-quickcheck2-dev (>= > 2.7.6-3)'
Done, thanks. Mraw, KiBi.
signature.asc
Description: Digital signature
