summaryrefslogtreecommitdiffstats
path: root/agate.opam
diff options
context:
space:
mode:
authorScott Lawrence <scott+git@ineffectivetheory.com>2024-06-26 21:16:48 -0700
committerScott Lawrence <scott+git@ineffectivetheory.com>2024-06-26 21:16:48 -0700
commitede8966c44cca6854012078329482a70235a19ce (patch)
tree3e6629114cc11037a6364b30e6c63c402d3ccca6 /agate.opam
parenta4c197dea1a0192b93e205daf8738f99a4f039b2 (diff)
downloadagate-ede8966c44cca6854012078329482a70235a19ce.tar.gz
agate-ede8966c44cca6854012078329482a70235a19ce.tar.bz2
agate-ede8966c44cca6854012078329482a70235a19ce.zip
Deleted everything but the one scriptHEADmain
Diffstat (limited to 'agate.opam')
-rw-r--r--agate.opam33
1 files changed, 0 insertions, 33 deletions
diff --git a/agate.opam b/agate.opam
deleted file mode 100644
index c9cea14..0000000
--- a/agate.opam
+++ /dev/null
@@ -1,33 +0,0 @@
-# This file is generated by dune, edit dune-project instead
-opam-version: "2.0"
-synopsis: "A strongly typed concatenative language"
-description: "A strongly typed concatenative language"
-maintainer: ["Scott Lawrence"]
-authors: ["Scott Lawrence"]
-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.16"}
- "sedlex"
- "menhir"
- "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"