(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"} ] conflicts: [ "menhir" {< "20180530"} ] url { src: "https://gitlab.inria.fr/fpottier/coq-menhirlib/repository/20180827/archive.tar.gz" checksum: "md5=a3906bacbbcaf90c92543d0844b77a8b" }
true
Dry install with the current Coq version:
opam install -y --show-action coq-menhirlib.20180827 coq.dev
Dry install without Coq/switch base, to test if the problem was incompatibility with the current Coq/OCaml version:
true
opam list; echo; ulimit -Sv 4000000; timeout 2h opam install -y --deps-only coq-menhirlib.20180827 coq.dev
opam list; echo; ulimit -Sv 4000000; timeout 1h opam install -y -v coq-menhirlib.20180827 coq.dev
Total: 6 M
../ocaml-base-compiler.4.09.0/lib/coq/user-contrib/MenhirLib/Interpreter_complete.vo
../ocaml-base-compiler.4.09.0/lib/coq/user-contrib/MenhirLib/Main.vo
../ocaml-base-compiler.4.09.0/lib/coq/user-contrib/MenhirLib/Validator_complete.vo
../ocaml-base-compiler.4.09.0/lib/coq/user-contrib/MenhirLib/Interpreter_safe.vo
../ocaml-base-compiler.4.09.0/lib/coq/user-contrib/MenhirLib/Interpreter_correct.vo
../ocaml-base-compiler.4.09.0/lib/coq/user-contrib/MenhirLib/Interpreter.vo
../ocaml-base-compiler.4.09.0/lib/coq/user-contrib/MenhirLib/Validator_safe.vo
../ocaml-base-compiler.4.09.0/lib/coq/user-contrib/MenhirLib/Alphabet.vo
../ocaml-base-compiler.4.09.0/lib/coq/user-contrib/MenhirLib/Automaton.vo
../ocaml-base-compiler.4.09.0/lib/coq/user-contrib/MenhirLib/Interpreter_complete.glob
../ocaml-base-compiler.4.09.0/lib/coq/user-contrib/MenhirLib/Grammar.vo
../ocaml-base-compiler.4.09.0/lib/coq/user-contrib/MenhirLib/Validator_complete.glob
../ocaml-base-compiler.4.09.0/lib/coq/user-contrib/MenhirLib/Alphabet.glob
../ocaml-base-compiler.4.09.0/lib/coq/user-contrib/MenhirLib/Validator_safe.glob
../ocaml-base-compiler.4.09.0/lib/coq/user-contrib/MenhirLib/Interpreter_correct.glob
../ocaml-base-compiler.4.09.0/lib/coq/user-contrib/MenhirLib/Interpreter_safe.glob
../ocaml-base-compiler.4.09.0/lib/coq/user-contrib/MenhirLib/Interpreter_complete.v
../ocaml-base-compiler.4.09.0/lib/coq/user-contrib/MenhirLib/Tuples.vo
../ocaml-base-compiler.4.09.0/lib/coq/user-contrib/MenhirLib/Validator_complete.v
../ocaml-base-compiler.4.09.0/lib/coq/user-contrib/MenhirLib/Interpreter.glob
../ocaml-base-compiler.4.09.0/lib/coq/user-contrib/MenhirLib/Validator_safe.v
../ocaml-base-compiler.4.09.0/lib/coq/user-contrib/MenhirLib/Grammar.glob
../ocaml-base-compiler.4.09.0/lib/coq/user-contrib/MenhirLib/Alphabet.v
../ocaml-base-compiler.4.09.0/lib/coq/user-contrib/MenhirLib/Interpreter_safe.v
../ocaml-base-compiler.4.09.0/lib/coq/user-contrib/MenhirLib/Automaton.glob
../ocaml-base-compiler.4.09.0/lib/coq/user-contrib/MenhirLib/Main.glob
../ocaml-base-compiler.4.09.0/lib/coq/user-contrib/MenhirLib/Interpreter_correct.v
../ocaml-base-compiler.4.09.0/lib/coq/user-contrib/MenhirLib/Interpreter.v
../ocaml-base-compiler.4.09.0/lib/coq/user-contrib/MenhirLib/Automaton.v
../ocaml-base-compiler.4.09.0/lib/coq/user-contrib/MenhirLib/Grammar.v
../ocaml-base-compiler.4.09.0/lib/coq/user-contrib/MenhirLib/Main.v
../ocaml-base-compiler.4.09.0/lib/coq/user-contrib/MenhirLib/Tuples.glob
../ocaml-base-compiler.4.09.0/lib/coq/user-contrib/MenhirLib/Tuples.v
opam remove -y coq-menhirlib.20180827