Package: acl2-books-certs

Scenario: testing_main
Date: 2025-09-12 05:00:01

Architectures: armel

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

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