aboutsummaryrefslogtreecommitdiff
path: root/wormhole.opam
diff options
context:
space:
mode:
Diffstat (limited to 'wormhole.opam')
-rw-r--r--wormhole.opam34
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"