acl2_8.5dfsg-6_arm64

Details

Artifact acl2_8.5dfsg-6_arm64
Category debian:binary-package
Metadata
architecture: arm64
component: main
package: acl2
priority: optional
section: math
srcpkg_name: acl2
srcpkg_version: 8.5dfsg-6
version: 8.5dfsg-6
trixie System _system 2 months ago
BETA