[Agda] Patch for QuickFix 2.5

Dirk Ullrich dirk.ullrich at gmail.com
Tue Jul 3 11:28:46 CEST 2012


in QuickFix 2.5 the interface is slightly changed. The patch appended
takes care of this. I've tested it with GHC 7.2.2 and 7.4.2 and the
current Hackage version of all other packages needed.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: quickcheck2.5.patch
Type: application/octet-stream
Size: 1350 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20120703/a062aa8e/quickcheck2.5.obj

More information about the Agda mailing list