[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