(2019-11-30 21:22:11 UTC)
# Packages matching: installed # Name # Installed # Synopsis base-bigarray base base-threads base base-unix base conf-findutils 1 Virtual package relying on findutils conf-m4 1 Virtual package relying on m4 coq dev Formal proof management system num 1.3 The legacy Num library for arbitrary-precision integer and rational arithmetic ocaml 4.09.0 The OCaml compiler (virtual package) ocaml-base-compiler 4.09.0 Official release 4.09.0 ocaml-config 1 OCaml Switch Configuration ocamlfind 1.8.1 A library manager for OCaml # opam file: opam-version: "2.0" synopsis: "A support library for verified Coq parsers produced by Menhir" maintainer: "francois.pottier@inria.fr" authors: "Jacques-Henri Jourdan <jacques-henri.jourdan@lri.fr>" license: "GPL 2 & INRIA Non-Commercial License Agreement" homepage: "https://gitlab.inria.fr/fpottier/coq-menhirlib" bug-reports: "jacques-henri.jourdan@lri.fr" dev-repo: "git+https://gitlab.inria.fr/fpottier/coq-menhirlib.git" build: [make "-j%{jobs}%"] install: [make "install"] remove: [make "uninstall"] depends: [ "ocaml" "coq" {(>= "8.6" & <= "8.8.1")} ] depopts: "menhir" conflicts: [ "menhir" {< "20180530"} ] url { src: "https://gitlab.inria.fr/fpottier/coq-menhirlib/repository/20180530/archive.tar.gz" checksum: "md5=1c88edd2a6650c270ebd46247179363c" }
true
Dry install with the current Coq version:
opam install -y --show-action coq-menhirlib.20180530 coq.dev
[NOTE] Package coq is already installed (current version is dev). The following dependencies couldn't be met: - coq-menhirlib -> coq < 8.8.2 -> ocaml < 4.06.0 base of this switch (use `--unlock-base' to force) Your request can't be satisfied: - No available version of coq satisfies the constraints No solution found, exiting
Dry install without Coq/switch base, to test if the problem was incompatibility with the current Coq/OCaml version:
opam remove -y coq; opam install -y --show-action --unlock-base coq-menhirlib.20180530
true
true
No files were installed.
true