diff options
Diffstat (limited to '')
| -rw-r--r-- | wormhole.opam | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/wormhole.opam b/wormhole.opam deleted file mode 100644 index 886447e..0000000 --- a/wormhole.opam +++ /dev/null @@ -1,34 +0,0 @@ -version: "4771982-dirty" -# This file is generated by dune, edit dune-project instead -opam-version: "2.0" -version: "4771982-dirty" -synopsis: "A short synopsis" -description: "A longer description" -maintainer: ["Maintainer Name"] -authors: ["Author Name"] -license: "LICENSE" -tags: ["topics" "to describe" "your" "project"] -homepage: "https://github.com/username/reponame" -doc: "https://url/to/documentation" -bug-reports: "https://github.com/username/reponame/issues" -depends: [ - "ocaml" - "dune" {>= "3.11"} - "ppx_yojson_conv" - "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/username/reponame.git" |