Checksum: 55a811309e5213b2ad58f581d79561035df9f2aa6c5916db906e56500a8a6621 (page 1)

• coq/8.20.1+dfsg-1/test-suite/ltac2/std_tactics.v
• coq-doc/8.20.0-2/test-suite/ltac2/std_tactics.v