Package: acl2 / 8.6+dfsg-3
Metadata
| Package | Version | Patches format |
|---|---|---|
| acl2 | 8.6+dfsg-3 | 3.0 (quilt) |
This package has no patches.
1
| Package | Version | Patches format |
|---|---|---|
| acl2 | 8.6+dfsg-3 | 3.0 (quilt) |
This package has no patches.