[Agda] Seg-fault

Serge D. Mechveliani mechvel at botik.ru
Mon Oct 15 18:06:22 CEST 2012


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.


More information about the Agda mailing list