[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: agda dep-waits

Colin Watson <cjwatson@debian.org> (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.


Attachment: signature.asc
Description: Digital signature

Reply to: