Checksum: 856c2fa41cf5c09d813e268e715213ba3e0b9cb1a1458626ffb34f5d698bbbec (page 1)

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