Théo Zimmermann
5c53c37c3f
rocqPackages.rocq-core: introduce withPackages
2026-08-18 15:39:38 +02:00
Théo Zimmermann
124e44e7fa
coqPackages: stop building from coq-packages.nix for >= 9
...
Introduce aliases.
coqPackages.rocq-core: introduce as alias of coq for Coq < 9
To facilitate the merging of coq-modules and rocq-modules derivations.
2026-08-18 15:39:37 +02:00
Pierre Roux
853cde0e77
rocqPackages.mathcomp: merge with coqPackages.mathcomp
...
Make dependency on micromega-plugin optional for compatibility with
versions < 9.
2026-08-18 15:39:35 +02:00
Théo Zimmermann
c57117faef
doc: fix typo ( #541799 )
2026-07-21 12:28:45 +00:00
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
Théo Zimmermann
60d60de3de
doc: fix typo
2026-07-14 15:35:36 +02:00
Théo Zimmermann
962d8fb3ed
mkRocqDerivation: document new parameters useCoq and useCoqifVersion
2026-07-10 17:56:59 +02:00
Johannes Kirschbauer
66241985dc
doc/treewide: replace "in order to" with "to"
...
Fixes a styleguide violation (doc/styleguide.md, "Filler Words and
Weak Phrases"). Release notes excluded.
2026-07-03 11:03:28 +02:00
Théo Zimmermann
923099da30
coq.withPackages: document use with language servers
...
Added guidance on installing Rocq language servers when using
`coq.withPackages`.
#484870
2026-02-01 21:55:27 +01:00
Pierre Roux
9ad70fb60d
Rocq: Update documentation
2026-01-26 13:17:25 +01:00
