this repo has no description
anil.recoil.org
1# This file is generated by dune, edit dune-project instead
2opam-version: "2.0"
3synopsis: "Sqlite-based backend for Catapult tracing"
4maintainer: ["simon@imandra.ai"]
5authors: ["simon@imandra.ai"]
6license: "MIT"
7homepage: "https://github.com/AestheticIntegration/catapult"
8bug-reports: "https://github.com/AestheticIntegration/catapult/issues"
9depends: [
10 "dune" {>= "2.0"}
11 "sqlite3" {>= "5.0"}
12 "directories" {< "0.6"}
13 "catapult" {= version}
14 "odoc" {with-doc}
15 "ocaml" {>= "4.08"}
16]
17build: [
18 ["dune" "subst"] {dev}
19 [
20 "dune"
21 "build"
22 "-p"
23 name
24 "-j"
25 jobs
26 "@install"
27 "@runtest" {with-test}
28 "@doc" {with-doc}
29 ]
30]
31dev-repo: "git+https://github.com/AestheticIntegration/catapult.git"
32url {
33 src:
34 "https://github.com/AestheticIntegration/catapult/archive/v0.1.1.tar.gz"
35 checksum: [
36 "md5=b706c74e8644967431055dc61f611f37"
37 "sha512=2915460b9fdd8a470de1b3bc75fcf58c36d00823588f46082db5099979f96f3bc261a91d4b5c672d2df9493461075fd61df804c1e4e737ee052af280dc6c9a6b"
38 ]
39}