diff options
| author | coqbot-app[bot] | 2020-12-07 16:32:53 +0000 |
|---|---|---|
| committer | GitHub | 2020-12-07 16:32:53 +0000 |
| commit | 0369080c826171cf18cfa2c8be5024445cb4a2d9 (patch) | |
| tree | 24c0e2de702d1a06713b39557b3b3e95d53b07c4 /plugins/cc | |
| parent | bfd3dac173db73b3eae07df27ec5d307c635afa0 (diff) | |
| parent | 55f49d3341a6c8a1830e526e775fd9903fe36aa8 (diff) | |
Merge PR #13588: Add `depopts: coq-native` in coq.opam.docker
Reviewed-by: Zimmi48
Reviewed-by: proux01
Diffstat (limited to 'plugins/cc')
0 files changed, 0 insertions, 0 deletions