Checksum: 88dac7688b80e69756550c7a516f5d1020f9cadeb97ed1839c97e97d6d277e5b (page 1)

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