Checksum: 7f77c902211d642ca183ce837a790d0370137d9070aaa93ed9f79d5f576aa2de (page 1)

• coq/8.16.1+dfsg-1/test-suite/bugs/bug_11816.v
• coq/8.20.1+dfsg-1/test-suite/bugs/bug_11816.v
• coq-doc/8.16.1-1/test-suite/bugs/bug_11816.v
• coq-doc/8.20.0-2/test-suite/bugs/bug_11816.v