coqPackages: move remaining derivations to rocq-modules

Browse Source

...

This commit is contained in:

Théo Zimmermann

2026-07-24 15:41:20 +02:00

committed by Vincent Laporte

parent 8f7f02caad

commit 9ab29d8bf2

126 changed files with 116 additions and 116 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

0

pkgs/development/coq-modules/CakeMLExtraction/default.nix → pkgs/development/rocq-modules/CakeMLExtraction/default.nix

0

pkgs/development/coq-modules/CertiRocq/default.nix → pkgs/development/rocq-modules/CertiRocq/default.nix

0

pkgs/development/coq-modules/Cheerios/default.nix → pkgs/development/rocq-modules/Cheerios/default.nix

0

pkgs/development/coq-modules/CoLoR/default.nix → pkgs/development/rocq-modules/CoLoR/default.nix

0

pkgs/development/coq-modules/ConCert/default.nix → pkgs/development/rocq-modules/ConCert/default.nix

0

pkgs/development/coq-modules/ElmExtraction/default.nix → pkgs/development/rocq-modules/ElmExtraction/default.nix

0

pkgs/development/coq-modules/ExtLib/default.nix → pkgs/development/rocq-modules/ExtLib/default.nix

0

pkgs/development/coq-modules/HoTT/default.nix → pkgs/development/rocq-modules/HoTT/default.nix

0

pkgs/development/coq-modules/ITree/default.nix → pkgs/development/rocq-modules/ITree/default.nix

0

pkgs/development/coq-modules/InfSeqExt/default.nix → pkgs/development/rocq-modules/InfSeqExt/default.nix

0

pkgs/development/coq-modules/LibHyps/default.nix → pkgs/development/rocq-modules/LibHyps/default.nix

0

pkgs/development/coq-modules/MenhirLib/default.nix → pkgs/development/rocq-modules/MenhirLib/default.nix

0

pkgs/development/coq-modules/Ordinal/default.nix → pkgs/development/rocq-modules/Ordinal/default.nix

0

pkgs/development/coq-modules/QuickChick/default.nix → pkgs/development/rocq-modules/QuickChick/default.nix

0

pkgs/development/coq-modules/RustExtraction/default.nix → pkgs/development/rocq-modules/RustExtraction/default.nix

0

pkgs/development/coq-modules/StructTact/default.nix → pkgs/development/rocq-modules/StructTact/default.nix

0

pkgs/development/coq-modules/TypedExtraction/default.nix → pkgs/development/rocq-modules/TypedExtraction/default.nix

0

pkgs/development/coq-modules/VST/default.nix → pkgs/development/rocq-modules/VST/default.nix

0

pkgs/development/coq-modules/Velisarios/default.nix → pkgs/development/rocq-modules/Velisarios/default.nix

0

pkgs/development/coq-modules/Verdi/default.nix → pkgs/development/rocq-modules/Verdi/default.nix

0

pkgs/development/coq-modules/Vpl/default.nix → pkgs/development/rocq-modules/Vpl/default.nix

0

pkgs/development/coq-modules/VplTactic/default.nix → pkgs/development/rocq-modules/VplTactic/default.nix

0

pkgs/development/coq-modules/aac-tactics/default.nix → pkgs/development/rocq-modules/aac-tactics/default.nix

0

pkgs/development/coq-modules/addition-chains/default.nix → pkgs/development/rocq-modules/addition-chains/default.nix

0

pkgs/development/coq-modules/async-test/default.nix → pkgs/development/rocq-modules/async-test/default.nix

0

pkgs/development/coq-modules/atbr/default.nix → pkgs/development/rocq-modules/atbr/default.nix

0

pkgs/development/coq-modules/autosubst-ocaml/default.nix → pkgs/development/rocq-modules/autosubst-ocaml/default.nix

0

pkgs/development/coq-modules/autosubst/default.nix → pkgs/development/rocq-modules/autosubst/default.nix

0

pkgs/development/coq-modules/bbv/default.nix → pkgs/development/rocq-modules/bbv/default.nix

0

pkgs/development/coq-modules/category-theory/default.nix → pkgs/development/rocq-modules/category-theory/default.nix

0

pkgs/development/coq-modules/ceres-bs/default.nix → pkgs/development/rocq-modules/ceres-bs/default.nix

0

pkgs/development/coq-modules/ceres/default.nix → pkgs/development/rocq-modules/ceres/default.nix

0

pkgs/development/coq-modules/coinduction/default.nix → pkgs/development/rocq-modules/coinduction/default.nix

0

pkgs/development/coq-modules/compcert/default.nix → pkgs/development/rocq-modules/compcert/default.nix

0

pkgs/development/coq-modules/contribs/default.nix → pkgs/development/rocq-modules/contribs/default.nix

0

pkgs/development/coq-modules/coq-bits/default.nix → pkgs/development/rocq-modules/coq-bits/default.nix

0

pkgs/development/coq-modules/coq-elpi/default.nix → pkgs/development/rocq-modules/coq-elpi/default.nix

0

pkgs/development/coq-modules/coq-hammer/default.nix → pkgs/development/rocq-modules/coq-hammer/default.nix

0

pkgs/development/coq-modules/coq-hammer/tactics.nix → pkgs/development/rocq-modules/coq-hammer/tactics.nix

0

pkgs/development/coq-modules/coq-haskell/default.nix → pkgs/development/rocq-modules/coq-haskell/default.nix

0

pkgs/development/coq-modules/coq-lsp/coq-loader.patch → pkgs/development/rocq-modules/coq-lsp/coq-loader.patch

0

pkgs/development/coq-modules/coq-lsp/default.nix → pkgs/development/rocq-modules/coq-lsp/default.nix

0

pkgs/development/coq-modules/coq-matrix/default.nix → pkgs/development/rocq-modules/coq-matrix/default.nix

0

pkgs/development/coq-modules/coq-record-update/default.nix → pkgs/development/rocq-modules/coq-record-update/default.nix

0

pkgs/development/coq-modules/coq-tactical/default.nix → pkgs/development/rocq-modules/coq-tactical/default.nix

0

pkgs/development/coq-modules/coqeal/default.nix → pkgs/development/rocq-modules/coqeal/default.nix

0

pkgs/development/coq-modules/coqfmt/default.nix → pkgs/development/rocq-modules/coqfmt/default.nix

0

pkgs/development/coq-modules/coqhammer/default.nix → pkgs/development/rocq-modules/coqhammer/default.nix

0

pkgs/development/coq-modules/coqide/default.nix → pkgs/development/rocq-modules/coqide/default.nix

0

pkgs/development/coq-modules/coqprime/default.nix → pkgs/development/rocq-modules/coqprime/default.nix

0

pkgs/development/coq-modules/coqtail-math/default.nix → pkgs/development/rocq-modules/coqtail-math/default.nix

0

pkgs/development/coq-modules/coquelicot/default.nix → pkgs/development/rocq-modules/coquelicot/default.nix

0

pkgs/development/coq-modules/coqutil/default.nix → pkgs/development/rocq-modules/coqutil/default.nix

0

pkgs/development/coq-modules/corn/default.nix → pkgs/development/rocq-modules/corn/default.nix

0

pkgs/development/coq-modules/deriving/default.nix → pkgs/development/rocq-modules/deriving/default.nix

0

pkgs/development/coq-modules/dpdgraph/default.nix → pkgs/development/rocq-modules/dpdgraph/default.nix

0

pkgs/development/coq-modules/equations/default.nix → pkgs/development/rocq-modules/equations/default.nix

0

pkgs/development/coq-modules/extructures/default.nix → pkgs/development/rocq-modules/extructures/default.nix

0

pkgs/development/coq-modules/fcsl-pcm/default.nix → pkgs/development/rocq-modules/fcsl-pcm/default.nix

0

pkgs/development/coq-modules/flocq/default.nix → pkgs/development/rocq-modules/flocq/default.nix

0

pkgs/development/coq-modules/fourcolor/default.nix → pkgs/development/rocq-modules/fourcolor/default.nix

0

pkgs/development/coq-modules/gaia-hydras/default.nix → pkgs/development/rocq-modules/gaia-hydras/default.nix

0

pkgs/development/coq-modules/gaia/default.nix → pkgs/development/rocq-modules/gaia/default.nix

0

pkgs/development/coq-modules/gappalib/default.nix → pkgs/development/rocq-modules/gappalib/default.nix

0

pkgs/development/coq-modules/goedel/default.nix → pkgs/development/rocq-modules/goedel/default.nix

0

pkgs/development/coq-modules/graph-theory/default.nix → pkgs/development/rocq-modules/graph-theory/default.nix

0

pkgs/development/coq-modules/heq/default.nix → pkgs/development/rocq-modules/heq/default.nix

0

pkgs/development/coq-modules/high-school-geometry/default.nix → pkgs/development/rocq-modules/high-school-geometry/default.nix

0

pkgs/development/coq-modules/http/default.nix → pkgs/development/rocq-modules/http/default.nix

0

pkgs/development/coq-modules/hydra-battles/default.nix → pkgs/development/rocq-modules/hydra-battles/default.nix

0

pkgs/development/coq-modules/interval/default.nix → pkgs/development/rocq-modules/interval/default.nix

0

pkgs/development/coq-modules/iris-named-props/default.nix → pkgs/development/rocq-modules/iris-named-props/default.nix

0

pkgs/development/coq-modules/itauto/default.nix → pkgs/development/rocq-modules/itauto/default.nix

0

pkgs/development/coq-modules/itauto/test.nix → pkgs/development/rocq-modules/itauto/test.nix

0

pkgs/development/coq-modules/itree-io/default.nix → pkgs/development/rocq-modules/itree-io/default.nix

0

pkgs/development/coq-modules/jasmin/default.nix → pkgs/development/rocq-modules/jasmin/default.nix

0

pkgs/development/coq-modules/json/default.nix → pkgs/development/rocq-modules/json/default.nix

0

pkgs/development/coq-modules/lemma-overloading/default.nix → pkgs/development/rocq-modules/lemma-overloading/default.nix

0

pkgs/development/coq-modules/ltac2/default.nix → pkgs/development/rocq-modules/ltac2/default.nix

0

pkgs/development/coq-modules/math-classes/default.nix → pkgs/development/rocq-modules/math-classes/default.nix

0

pkgs/development/coq-modules/mathcomp-abel/default.nix → pkgs/development/rocq-modules/mathcomp-abel/default.nix

0

pkgs/development/coq-modules/mathcomp-algebra-tactics/default.nix → pkgs/development/rocq-modules/mathcomp-algebra-tactics/default.nix

0

pkgs/development/coq-modules/mathcomp-apery/default.nix → pkgs/development/rocq-modules/mathcomp-apery/default.nix

0

pkgs/development/coq-modules/mathcomp-infotheo/default.nix → pkgs/development/rocq-modules/mathcomp-infotheo/default.nix

0

pkgs/development/coq-modules/mathcomp-tarjan/default.nix → pkgs/development/rocq-modules/mathcomp-tarjan/default.nix

0

pkgs/development/coq-modules/mathcomp-word/default.nix → pkgs/development/rocq-modules/mathcomp-word/default.nix

0

pkgs/development/coq-modules/mathcomp-zify/default.nix → pkgs/development/rocq-modules/mathcomp-zify/default.nix

0

pkgs/development/coq-modules/metacoq/default.nix → pkgs/development/rocq-modules/metacoq/default.nix

0

pkgs/development/coq-modules/metalib/default.nix → pkgs/development/rocq-modules/metalib/default.nix

0

pkgs/development/coq-modules/metarocq/default.nix → pkgs/development/rocq-modules/metarocq/default.nix

0

pkgs/development/coq-modules/mtac2/default.nix → pkgs/development/rocq-modules/mtac2/default.nix

0

pkgs/development/coq-modules/multinomials/default.nix → pkgs/development/rocq-modules/multinomials/default.nix

0

pkgs/development/coq-modules/odd-order/default.nix → pkgs/development/rocq-modules/odd-order/default.nix

0

pkgs/development/coq-modules/paco/default.nix → pkgs/development/rocq-modules/paco/default.nix

0

pkgs/development/coq-modules/paramcoq/default.nix → pkgs/development/rocq-modules/paramcoq/default.nix

0

pkgs/development/coq-modules/parsec/default.nix → pkgs/development/rocq-modules/parsec/default.nix

0

pkgs/development/coq-modules/pocklington/default.nix → pkgs/development/rocq-modules/pocklington/default.nix

0

pkgs/development/coq-modules/reglang/default.nix → pkgs/development/rocq-modules/reglang/default.nix

0

pkgs/development/coq-modules/rewriter/default.nix → pkgs/development/rocq-modules/rewriter/default.nix

0

pkgs/development/coq-modules/semantics/default.nix → pkgs/development/rocq-modules/semantics/default.nix

Some files were not shown because too many files have changed in this diff Show More