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)' Thanks, -- Colin Watson [[email protected]] -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: https://lists.debian.org/[email protected]
