Checksum: eff36635fe388a9c478ec8d37f93848925d765c887105a8111424c31fd31edf6 (page 1)

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