Awesome

asdf-coq

Coq plugin for asdf version manager.

Install

asdf plugin-add coq https://github.com/gingerhot/asdf-coq

Prerequisites

• OCaml
• OPAM

you need install some packages for building Coq:

opam install -y num ocamlfind camlp5

Usage

List all available Coq versions:

asdf list-all coq

Install one version of Coq:

asdf install coq 8.7.0

More asdf command details to asdf README.

Note

• CoqIDE not included in this installation
• Some Coq version depends on OCaml version, e.g. for Coq 8.6.1, OCaml must comply >= "4.01.0" and < "4.06.0". More info see Available item in: https://opam.ocaml.org/packages/coq/coq.8.6.1/ (change the 8.6.1 to your version). You may also need asdf OCaml plugin to install corresponding version OCaml at first.