[Top][All Lists]

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

[Gcl-devel] (no subject)

From: Matt Kaufmann
Subject: [Gcl-devel] (no subject)
Date: Wed, 15 May 2013 08:18:37 -0500

Hi --

Just getting back to you on this question:

>>   In general, are the acl2
>> variants now deemed 'no longer experimental' and if so should they be
>> included in the Debian acl2 package?

I've talked with a couple others about this, and we feel that it's
best not to include these in the Debian acl2 package, at least not at
this time.

Thanks --
-- Matt

reply via email to

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