Package: elpa-acl2

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

Architectures: armel

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

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