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 _______________________________________________ Gcl-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/gcl-devel
