this repo has no description
anil.recoil.org
1# This file is generated by dune, edit dune-project instead
2opam-version: "2.0"
3synopsis: "File logger for catapult"
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 "catapult" {= version}
12 "odoc" {with-doc}
13 "ocaml" {>= "4.08"}
14]
15build: [
16 ["dune" "subst"] {dev}
17 [
18 "dune"
19 "build"
20 "-p"
21 name
22 "-j"
23 jobs
24 "@install"
25 "@runtest" {with-test}
26 "@doc" {with-doc}
27 ]
28]
29dev-repo: "git+https://github.com/AestheticIntegration/catapult.git"
30url {
31 src:
32 "https://github.com/AestheticIntegration/catapult/archive/v0.1.1.tar.gz"
33 checksum: [
34 "md5=b706c74e8644967431055dc61f611f37"
35 "sha512=2915460b9fdd8a470de1b3bc75fcf58c36d00823588f46082db5099979f96f3bc261a91d4b5c672d2df9493461075fd61df804c1e4e737ee052af280dc6c9a6b"
36 ]
37}