Skip to content

Remove ocaml-num dependency from coq package

Jason Gross requested to merge JasonGross/aports:JasonGross-master-patch-75374 into master

It has not been required since Coq 8.12, cf https://github.com/coq/coq/pull/13007

Merge request reports