summaryrefslogtreecommitdiff
path: root/sand.opam
diff options
context:
space:
mode:
authorFederico Igne <undyamon@disroot.org>2024-01-11 19:30:56 +0100
committerFederico Igne <undyamon@disroot.org>2024-01-11 19:30:56 +0100
commit416c56656af65d656f637dc8c8fdb62d0ba03e29 (patch)
treee69a46c4867da1c92dd55ac582a39f69e41a7c9c /sand.opam
parent5696fd843de1bfeae6d9d74a478181b943bbb574 (diff)
downloadsandy-416c56656af65d656f637dc8c8fdb62d0ba03e29.tar.gz
sandy-416c56656af65d656f637dc8c8fdb62d0ba03e29.zip
build: update project dependences
Diffstat (limited to 'sand.opam')
-rw-r--r--sand.opam2
1 files changed, 2 insertions, 0 deletions
diff --git a/sand.opam b/sand.opam
index 4bbb344..c317b92 100644
--- a/sand.opam
+++ b/sand.opam
@@ -7,6 +7,8 @@ bug-reports: "https://github.com/username/reponame/issues"
7depends: [ 7depends: [
8 "ocaml" 8 "ocaml"
9 "dune" {>= "3.7"} 9 "dune" {>= "3.7"}
10 "base"
11 "stdio"
10 "odoc" {with-doc} 12 "odoc" {with-doc}
11] 13]
12build: [ 14build: [