architecture: arm64 component: main package: acl2-infix priority: optional section: math srcpkg_name: acl2 srcpkg_version: 8.5dfsg-6 version: 8.5dfsg-6