Greetings! "Jonathan S. Shapiro" <[EMAIL PROTECTED]> 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? Yes. > 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 [EMAIL PROTECTED] ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah _______________________________________________ Gcl-devel mailing list [email protected] http://lists.gnu.org/mailman/listinfo/gcl-devel
