bedrock2
bedrock2 copied to clipboard
opam package for bench
Currently the opam package at https://github.com/coq/opam-coq-archive/blob/master/extra-dev/packages/coq-bedrock2/coq-bedrock2.dev/opam makes bedrock_ex which seems to be quite small (~4min on the bench)
Could we have a more complete package for Coq's benchmark infrastructure?
cc @JasonGross ?