On Tue, Oct 15, 2013 at 12:14:34PM +0200, Louis Bettens wrote: > Hi, > > Le 15. 10. 13 11:57, Iain Lane a écrit : > >Doing. I only noticed that one, but it also needs a cherry-picked > >upstream patch for Alex 3.1. > > > The patch called “Support for Alex 3.1” seems to do. It just bumps > the dependency. It passes pdebuild. > > There's a lot of patches in the agda repo between the 2.3.2.1 tag > and this patch, but I don't know yet which of them could have an > impact on this issue. Can I solve it, please? What do you want to do? -- Iain Lane [ iain@orangesquash.org.uk ] Debian Developer [ laney@debian.org ] Ubuntu Developer [ laney@ubuntu.com ]
Attachment:
signature.asc
Description: Digital signature