# Packages matching: installed # Name # Installed # Synopsis base-bigarray base base-num base Num library distributed with the OCaml compiler base-threads base base-unix base conf-findutils 1 Virtual package relying on findutils coq 8.12.2 Formal proof management system num 0 The Num library for arbitrary-precision integer and rational arithmetic ocaml 4.05.0 The OCaml compiler (virtual package) ocaml-base-compiler 4.05.0 Official 4.05.0 release ocaml-config 1 OCaml Switch Configuration ocamlfind 1.9.6 A library manager for OCaml # opam file: opam-version: "2.0" synopsis: "Coq library for reasoning about quantum programs" description: """ inQWIRE's QuantumLib is a Coq library for reasoning about quantum computation and quantum programs. """ maintainer: ["inQWIRE Developers"] authors: ["inQWIRE"] license: "MIT" homepage: "https://github.com/inQWIRE/QuantumLib" doc: "https://inqwire.github.io/QuantumLib/toc.html" bug-reports: "https://github.com/inQWIRE/QuantumLib/issues" depends: [ "dune" {>= "2.8"} "coq" {>= "8.12"} "odoc" {with-doc} ] build: [ ["dune" "subst"] {dev} [ "dune" "build" "-p" name "-j" jobs "@install" "@runtest" {with-test} "@doc" {with-doc} ] ] dev-repo: "git+https://github.com/inQWIRE/QuantumLib.git" url { src: "https://github.com/inQWIRE/QuantumLib/archive/v1.1.0.tar.gz" checksum: "sha256=d13100705487403119e4675d8645a1018ec37f48d366c16cf1d0c1cdd7ee6e90" } tags: [ "keyword:quantum" "keyword:qwire" "keyword:sqir" "keyword:matrices" "keyword:vectors" "keyword:linear algebra" "keyword:complex numbers" "category:Mathematics/Algebra" "category:Mathematics/Real Calculus and Topology" "date:2022-07-31" "logpath:QuantumLib" ]
true
Dry install with the current Coq version:
opam install -y --show-action coq-quantumlib.1.1.0 coq.8.12.2
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 4h opam install -y --deps-only coq-quantumlib.1.1.0 coq.8.12.2
opam list; echo; ulimit -Sv 16000000; timeout 4h opam install -y -v coq-quantumlib.1.1.0 coq.8.12.2
Total: 9 M
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/QuantumLib/Pad.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/QuantumLib/VecSet.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/QuantumLib/Matrix.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/QuantumLib/Quantum.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/QuantumLib/VectorStates.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/QuantumLib/Eigenvectors.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/QuantumLib/Polynomial.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/QuantumLib/DiscreteProb.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/QuantumLib/Ctopology.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/QuantumLib/Complex.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/QuantumLib/FiniteGroups.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/QuantumLib/Summation.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/QuantumLib/Permutations.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/QuantumLib/Matrix.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/QuantumLib/FTA.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/QuantumLib/RealAux.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/QuantumLib/Polar.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/QuantumLib/Prelim.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/QuantumLib/VecSet.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/QuantumLib/Measurement.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/QuantumLib/Eigenvectors.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/QuantumLib/Ctopology.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/QuantumLib/Quantum.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/QuantumLib/Polynomial.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/QuantumLib/Proportional.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/QuantumLib/VectorStates.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/QuantumLib/DiscreteProb.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/QuantumLib/Complex.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/QuantumLib/FiniteGroups.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/QuantumLib/Summation.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/QuantumLib/FTA.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/QuantumLib/Polar.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/QuantumLib/Prelim.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/QuantumLib/RealAux.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/QuantumLib/Permutations.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/QuantumLib/Pad.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/QuantumLib/Measurement.v
../ocaml-base-compiler.4.05.0/doc/coq-quantumlib/README.md
../ocaml-base-compiler.4.05.0/lib/coq-quantumlib/dune-package
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/QuantumLib/Proportional.v
../ocaml-base-compiler.4.05.0/doc/coq-quantumlib/LICENSE
../ocaml-base-compiler.4.05.0/lib/coq-quantumlib/opam
../ocaml-base-compiler.4.05.0/doc/coq-quantumlib/CHANGES.md
../ocaml-base-compiler.4.05.0/lib/coq-quantumlib/META
opam remove -y coq-quantumlib.1.1.0