diff options
| author | Théo Zimmermann | 2020-08-07 15:37:45 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-08-07 15:37:45 +0200 |
| commit | a2da87278607e149195cd9abb1dd566c1a9628f1 (patch) | |
| tree | 7a0c30af7558406c1f30af295ff61ead8ce1ee13 /dev/include_dune | |
| parent | 51ecccef0308eceec1ddd9776a03fd993b3ea71a (diff) | |
[default.nix] Propagate dependency on num following #12604.
Since this PR, ocamlfind looks for num when building plugins.
To avoid requiring all plugins to add a new, irrelevant, dependency, we propagate it.
This solution imitates what was decided for nixpkgs in NixOS/nixpkgs#94230.
Fix coq-community/aac-tactics#61.
Diffstat (limited to 'dev/include_dune')
0 files changed, 0 insertions, 0 deletions