DEBSOURCES
Skip Quicknav
sources / coq-doc / 8.16.1-1 / test-suite / misc / 11170.sh
12345678
#!/usr/bin/env bash set -e export PATH=$BIN:$PATH export OCAMLRUNPARAM=s=1 ${coqc#"$BIN"} misc/aux11170.v