[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Savannah-hackers-public] directory listing omits latest gcl

From: Camm Maguire
Subject: [Savannah-hackers-public] directory listing omits latest gcl release [Re: gcl-2.6.10 availability]
Date: Thu, 09 Jan 2014 10:34:38 -0500
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux)

Greetings!  Its there, but the ftp server is apparently truncating the
directory list, which is unfortunate given the default sort order places
the latest release at the bottom.  If you click twice on 'Last Modified'
to sort in descending chronological order, you will see the file.

Needless to say, this is unsatisfactory.  I'm cc'ing savannah to see if
they can address this.  A likely workaround is to move some files into
the old subdirectory.  I'll try to get to this later today.

Matt Kaufmann <address@hidden> writes:

> Hi, Camm --
> I see that GCL 2.6.10 isn't available at:
> That's perhaps surprising, since I got there from
> (both by clicking on "Download" at
> the top and on "Get Latest Release").
> I assume though that the following instructions are adequate -- I hope
> so, since I'm finishing up (I hope) an ACL2 6.4 release!
> ==============================
> You can get GCL 2.6.10 as follows (assuming you have <code>git</code>
> installed):
> <pre>
> git clone git://
> cd gcl
> git checkout Version_2_6_10
> cd gcl
> </pre>
> ==============================
> By the way, the structure of the ACL2 6.4 release will be a bit
> different from that of the ACL2 6.3 release (mainly because of a
> change in how documentation is processed).  Maybe though this won't
> affect your Debian release.  If it turns out you need help with that,
> let me know.  When I finish the ACL2 6.4 release (probably tomorrow),
> I'll set up the usual link for the Debian watch script.

A truly blistering release pace you keep there, Matt!  Congratulations!

Take care,
Camm Maguire                                        address@hidden
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]