Tests: upstreamtestsuite
Restrictions: allow-stderr
Depends: @, coq
