# Packages matching: installed
# Name # Installed # Synopsis
base-bigarray base
base-threads base
base-unix base
conf-findutils 1 Virtual package relying on findutils
conf-gmp 4 Virtual package relying on a GMP lib system installation
coq 8.13.2 Formal proof management system
num 1.5 The legacy Num library for arbitrary-precision integer and rational arithmetic
ocaml 4.13.1 The OCaml compiler (virtual package)
ocaml-base-compiler 4.13.1 Official release 4.13.1
ocaml-config 2 OCaml Switch Configuration
ocaml-options-vanilla 1 Ensure that OCaml is compiled with no special options enabled
ocamlfind 1.9.6 A library manager for OCaml
zarith 1.13 Implements arithmetic and logical operations over arbitrary-precision integers
# 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"
]
trueDry install with the current Coq version:
opam install -y --show-action coq-quantumlib.1.1.0 coq.8.13.2Dry install without Coq/switch base, to test if the problem was incompatibility with the current Coq/OCaml version:
trueopam list; echo; ulimit -Sv 4000000; timeout 4h opam install -y --deps-only coq-quantumlib.1.1.0 coq.8.13.2opam list; echo; ulimit -Sv 16000000; timeout 4h opam install -y -v coq-quantumlib.1.1.0 coq.8.13.2Total: 9 M
../ocaml-base-compiler.4.13.1/lib/coq/user-contrib/QuantumLib/Pad.vo../ocaml-base-compiler.4.13.1/lib/coq/user-contrib/QuantumLib/VecSet.vo../ocaml-base-compiler.4.13.1/lib/coq/user-contrib/QuantumLib/Matrix.vo../ocaml-base-compiler.4.13.1/lib/coq/user-contrib/QuantumLib/Quantum.vo../ocaml-base-compiler.4.13.1/lib/coq/user-contrib/QuantumLib/VectorStates.vo../ocaml-base-compiler.4.13.1/lib/coq/user-contrib/QuantumLib/Eigenvectors.vo../ocaml-base-compiler.4.13.1/lib/coq/user-contrib/QuantumLib/Polynomial.vo../ocaml-base-compiler.4.13.1/lib/coq/user-contrib/QuantumLib/DiscreteProb.vo../ocaml-base-compiler.4.13.1/lib/coq/user-contrib/QuantumLib/Ctopology.vo../ocaml-base-compiler.4.13.1/lib/coq/user-contrib/QuantumLib/Complex.vo../ocaml-base-compiler.4.13.1/lib/coq/user-contrib/QuantumLib/FiniteGroups.vo../ocaml-base-compiler.4.13.1/lib/coq/user-contrib/QuantumLib/Summation.vo../ocaml-base-compiler.4.13.1/lib/coq/user-contrib/QuantumLib/Permutations.vo../ocaml-base-compiler.4.13.1/lib/coq/user-contrib/QuantumLib/Matrix.v../ocaml-base-compiler.4.13.1/lib/coq/user-contrib/QuantumLib/FTA.vo../ocaml-base-compiler.4.13.1/lib/coq/user-contrib/QuantumLib/VecSet.v../ocaml-base-compiler.4.13.1/lib/coq/user-contrib/QuantumLib/RealAux.vo../ocaml-base-compiler.4.13.1/lib/coq/user-contrib/QuantumLib/Polar.vo../ocaml-base-compiler.4.13.1/lib/coq/user-contrib/QuantumLib/Prelim.vo../ocaml-base-compiler.4.13.1/lib/coq/user-contrib/QuantumLib/Eigenvectors.v../ocaml-base-compiler.4.13.1/lib/coq/user-contrib/QuantumLib/Measurement.vo../ocaml-base-compiler.4.13.1/lib/coq/user-contrib/QuantumLib/Ctopology.v../ocaml-base-compiler.4.13.1/lib/coq/user-contrib/QuantumLib/Quantum.v../ocaml-base-compiler.4.13.1/lib/coq/user-contrib/QuantumLib/Polynomial.v../ocaml-base-compiler.4.13.1/lib/coq/user-contrib/QuantumLib/VectorStates.v../ocaml-base-compiler.4.13.1/lib/coq/user-contrib/QuantumLib/DiscreteProb.v../ocaml-base-compiler.4.13.1/lib/coq/user-contrib/QuantumLib/Complex.v../ocaml-base-compiler.4.13.1/lib/coq/user-contrib/QuantumLib/Proportional.vo../ocaml-base-compiler.4.13.1/lib/coq/user-contrib/QuantumLib/FiniteGroups.v../ocaml-base-compiler.4.13.1/lib/coq/user-contrib/QuantumLib/Summation.v../ocaml-base-compiler.4.13.1/lib/coq/user-contrib/QuantumLib/FTA.v../ocaml-base-compiler.4.13.1/lib/coq/user-contrib/QuantumLib/Polar.v../ocaml-base-compiler.4.13.1/lib/coq/user-contrib/QuantumLib/Prelim.v../ocaml-base-compiler.4.13.1/lib/coq/user-contrib/QuantumLib/RealAux.v../ocaml-base-compiler.4.13.1/lib/coq/user-contrib/QuantumLib/Permutations.v../ocaml-base-compiler.4.13.1/lib/coq/user-contrib/QuantumLib/Pad.v../ocaml-base-compiler.4.13.1/lib/coq/user-contrib/QuantumLib/Measurement.v../ocaml-base-compiler.4.13.1/doc/coq-quantumlib/README.md../ocaml-base-compiler.4.13.1/lib/coq-quantumlib/dune-package../ocaml-base-compiler.4.13.1/lib/coq/user-contrib/QuantumLib/Proportional.v../ocaml-base-compiler.4.13.1/doc/coq-quantumlib/LICENSE../ocaml-base-compiler.4.13.1/lib/coq-quantumlib/opam../ocaml-base-compiler.4.13.1/doc/coq-quantumlib/CHANGES.md../ocaml-base-compiler.4.13.1/lib/coq-quantumlib/METAopam remove -y coq-quantumlib.1.1.0