[Top][All Lists]

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

[Gcl-devel] Re: ACL2 build

From: Camm Maguire
Subject: [Gcl-devel] Re: ACL2 build
Date: 25 Feb 2006 14:21:13 -0500
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2


"Jonathan S. Shapiro" <address@hidden> writes:

> Camm: I was about to re-package gcl-2.6.7 and possibly ACL2 for Fedora
> Core. I had two questions and a reminder:
> Q1: With 2.6.7, is the CLTL build of GCL still required?


> Q2: Are you interested in the RPMs for fedora?

Yes if its not too much trouble, great!  Do you know about alien?
Might be easiest to use this on the .debs as I did some time ago.

Take care,

> Best regards,
> Jonathan Shapiro

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]