simplify opam files in master

lukaszcz / coqhammer

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory

Other

211 stars 31 forks source link

simplify opam files in master #172

Closed palmskog closed 9 months ago

palmskog commented 10 months ago

The minimum version of OCaml for current Coq master is 4.09.0. Hence, we can simplify the opam files that had a workaround for a bug affecting earlier OCaml.