Prepare for 8.17 release

uds-psl / coq-library-undecidability

A library of mechanised undecidability proofs in the Coq proof assistant.

Mozilla Public License 2.0

111 stars 30 forks source link

Closed mrhaandi closed 1 year ago

mrhaandi commented 1 year ago

Update build procedure to ocaml 4.14.1, coq 8.17 and coq-metacoq-template 1.2+8.17.

@yforster after this, you could prepare an coq-library-undecidability.1.0.2+8.17 release for opam-coq-archive/released/packages/coq-library-undecidability and set coq-8.17 as the primary branch.

yforster commented 1 year ago

Will do :+1: