acl2-books_8.5dfsg-6_amd64

Details

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