<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 TRANSITIONAL//EN">
<HTML>
<HEAD>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; CHARSET=UTF-8">
<META NAME="GENERATOR" CONTENT="GtkHTML/3.30.3">
</HEAD>
<BODY>
Dear Agda developers,<BR>
<BR>
Please, advise me on the following question.<BR>
<BR>
I have to put my docon-A-004 library (call it Application) on public somewhat before December 12.<BR>
And any user of Application needs to know: where resides the needed Agda version. <BR>
So I need to refer to such.<BR>
The situation is as follows.<BR>
<BR>
(1) 2.5.1.1, 2.5.1.2 have Segmentation fault when running the test for Application.<BR>
<BR>
(2) Development version of December 7 2016 looks all right at this<BR>
(besides that type check needs the minimum of 7 Gb memory and 1 hour of time).<BR>
<BR>
(3) I expect that Stable version on github will show running as (2). <BR>
<BR>
<BR>
What Agda version need I to refer in announce.txt and install.txt ?<BR>
<BR>
Can you arrange this so that the needed version to be stored at a fixed address and frozen?<BR>
<BR>
Regards,<BR>
<BR>
--------<BR>
Sergei
</BODY>
</HTML>