test-suite/tools · coq · Tangled

Sign in Join now

coq stepbrobd.com /

Star Starred Star 1

Something went wrong. Try again.

Watch Watching Watch

forked from coq/coq

Star Starred Star 1

Something went wrong. Try again.

Watch Watching Watch

Overview Overview Issues Issues Pulls Pulls Pipelines Pipelines

coq /test-suite /tools

3 files

Gaëtan Gilbert · dune test_suite_config.inc rule use rocq instead of coqc · 6mo ago

coq_config_to_make.ml

dune test_suite_config.inc rule use rocq instead of coqc

coq_config_to_make.mli

[configure] Move test-suite configure parts to test-suite/

rename package coq-core -> rocq-runtime