Ubuntu
acl2 package

1 → 2 of 2 results First • Previous • Next • Last
Undecided
New
#1152898 acl2 6.0-2 FTBFS on armhf
acl2 (Ubuntu) 6
Undecided
New
#1293125 [ppc64el] FTBFS
acl2 (Ubuntu) 8
1 → 2 of 2 results First • Previous • Next • Last

"acl2" versions published in Ubuntu

Disco (8.0dfsg-1build1): universe/math
Cosmic (8.0dfsg-1): universe/math
Bionic (8.0dfsg-1): universe/math
Xenial (7.1-1): universe/math
Trusty (6.3-5): universe/math
Precise (4.2-1): universe/math