On Mon, Oct 15, 2012 at 08:01:32PM +0400, Serge D. Mechveliani wrote: > On Mon, Oct 15, 2012 at 12:00:06PM +0200, Nils Anders Danielsson wrote: [..] > >> but runs into Segmentation fault [..] > This is issue 716. > > See there the attached archive. > This is for > Agda-2.3.0 + MAlonzo + lib-0.6, > [..] A typo: it must be Agda-2.3.0.1. Sergei.