Package: acl2-books-source

Scenario: unstable_main
Date: 2025-12-28 05:00:01

Architectures: loong64

Summary: unsatisfied dependency on acl2 (>= 8.6+dfsg-3)

acl2-books-source (8.6+dfsg-3) [PTS] [ctrl]
↓ acl2 (>= 8.6+dfsg-3)
MISSING