coq 8.6 support

Question

coq 8.6 support

vzaliva opened this issue 8 years ago · comments

Vadim Zaliva commented 8 years ago

current opam version fails to install with coq-8.6

Gregory Malecha · Answer 1 · Thu Jan 05 2017 22:18:44 GMT+0800 (China Standard Time)

Going to start a new branch for this.

Gregory Malecha · Answer 2 · Fri Jan 06 2017 10:50:49 GMT+0800 (China Standard Time)

See the v8.6 branch.

Vadim Zaliva · Answer 3 · Fri Jan 06 2017 11:10:34 GMT+0800 (China Standard Time)

Great! I just did a quick build and it compiles OK. There are few warnings about "Maximum Implicit Arguments" option, but I guess these are not critical. Do you plan to push it to OPAM soon?

Thanks again for your quick response!

Gregory Malecha · Answer 4 · Fri Jan 06 2017 11:27:01 GMT+0800 (China Standard Time)

I just opened a PR for opam-coq-archive (coq/opam#125).

Vadim Zaliva · Answer 5 · Wed Jan 11 2017 03:21:16 GMT+0800 (China Standard Time)

Just FYI, there is a problem installing it via OPAM: coq/opam#126