this repo has no description
patrick.sirref.org
1# This file is generated by dune, edit dune-project instead
2opam-version: "2.0"
3synopsis: "Trace programs for the files they read and write"
4description: ""
5depends: [
6 "dune" {>= "3.14"}
7 "ocaml" {>= "5.2.0"}
8 "eio_main"
9 "jsonm"
10 "dune-configurator"
11 "libbpf"
12 "libbpf_maps"
13 "odoc" {with-doc}
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]
29pin-depends:[
30 "eio.dev" "git+https://github.com/patricoferris/eio#9cb52c3c061a1bfee0c6094625415d3c95f735d5"
31 "eio_posix.dev" "git+https://github.com/patricoferris/eio#9cb52c3c061a1bfee0c6094625415d3c95f735d5"
32 "eio_linux.dev" "git+https://github.com/patricoferris/eio#9cb52c3c061a1bfee0c6094625415d3c95f735d5"
33 "eio_main.dev" "git+https://github.com/patricoferris/eio#9cb52c3c061a1bfee0c6094625415d3c95f735d5"
34]