diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2023-11-30 16:05:56 +0100 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2023-12-05 06:56:28 +0100 |
commit | 6225a5106080e3c6e150315e0b55c190ccd5044c (patch) | |
tree | 112a7f67de1c71c548b6a823be16e815166c598e /pkgs/development/tools/neil | |
parent | 24b80431bf18a3393879c88ae951200d753710f7 (diff) |
coqPackages_8_16: fix evaluation with math-comp ≥ 2.0
Disable coq-bits, extructures, and gaia-hydra
Diffstat (limited to 'pkgs/development/tools/neil')
0 files changed, 0 insertions, 0 deletions