this repo has no description
anil.recoil.org
1# This file is generated by dune, edit dune-project instead
2opam-version: "2.0"
3synopsis: "A verified optimizer for quantum circuits (VOQC)"
4description:
5 "OCaml library for VOQC, a Verified Optimizer for Quantum Circuits"
6maintainer: ["kesha@cs.umd.edu"]
7authors: ["Kesha Hietala"]
8license: "MIT"
9homepage: "https://github.com/inQWIRE/mlvoqc"
10bug-reports: "https://github.com/inQWIRE/mlvoqc/issues"
11depends: [
12 "dune" {>= "2.0"}
13 "openQASM"
14 "zarith"
15]
16build: [
17 ["dune" "subst"] {dev}
18 [
19 "dune"
20 "build"
21 "-p"
22 name
23 "-j"
24 jobs
25 "@install"
26 "@runtest" {with-test}
27 "@doc" {with-doc}
28 ]
29]
30dev-repo: "git+https://github.com/inQWIRE/mlvoqc.git"
31
32url {
33 src: "https://github.com/inQWIRE/mlvoqc/archive/refs/tags/0.1.tar.gz"
34 checksum: [
35 "sha256=d956f697c88d7080a76de78ec70400897afdb90117c0983da1db66f313b39c0f"
36 "md5=ae565ada77a1fbc4387a3b91fd703680"
37 ]
38}