Théo Zimmermann 1b950b50bd rocqPackages.mkRocqDerivation: change prefix for rocq ...

Make the defauult prefix be set to `[ "rocq" ]` (instead of
`[ "rocq-core" ]`) if `useCoq` is `false`.

This matches the opam convention and ensures that the default
`opam-name` will be correct.

2026-07-15 21:43:39 +02:00

..

meta-fetch

mkCoqDerivation: make a wrapper on top of mkRocqDerivation

2026-07-10 17:56:53 +02:00

default.nix

rocqPackages.mkRocqDerivation: change prefix for rocq

2026-07-15 21:43:39 +02:00

extra-lib-common.nix

…

extra-lib.nix

…