[build] Don't link num anymore in Coq#13007
Merged
coqbot-app[bot] merged 2 commits intorocq-prover:masterfrom Sep 17, 2020
Merged
[build] Don't link num anymore in Coq#13007coqbot-app[bot] merged 2 commits intorocq-prover:masterfrom
num anymore in Coq#13007coqbot-app[bot] merged 2 commits intorocq-prover:masterfrom
Commits
Commits on Sep 17, 2020
- committed
- andcommitted
