Skip to content
<open-source>
Oeiuwq Faith Blog OpenSource Porfolio

gingerhot/asdf-coq

:rooster: Coq plugin for ASDF version manager.
Source code at GitHub https://github.com/asdf-vm/asdf
gingerhot/asdf-coq.json
{
  "createdAt": "2017-12-09T11:15:01Z",
  "defaultBranch": "master",
  "description": ":rooster: Coq plugin for ASDF version manager.",
  "fullName": "gingerhot/asdf-coq",
  "homepage": "https://github.com/asdf-vm/asdf",
  "language": "Shell",
  "name": "asdf-coq",
  "pushedAt": "2020-03-27T18:28:31Z",
  "stargazersCount": 5,
  "topics": [
    "asdf-coq",
    "asdf-plugin",
    "coq",
    "coq-installation",
    "coq-version-manager",
    "version-manager"
  ],
  "updatedAt": "2021-11-08T12:02:45Z",
  "url": "https://github.com/gingerhot/asdf-coq"
}

asdf-coq

Section titled “asdf-coq”

Build Status

Coq plugin for asdf version manager.

Install

Section titled “Install”
Terminal window
asdf plugin-add coq https://github.com/gingerhot/asdf-coq

Prerequisites

Section titled “Prerequisites”
  • OCaml
  • OPAM

you need install some packages for building Coq:

opam install -y num ocamlfind camlp5

Usage

Section titled “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

Section titled “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.