diff options
author | Stephane Glondu <steph@glondu.net> | 2022-03-02 07:44:54 +0100 |
---|---|---|
committer | Stéphane Glondu <steph@glondu.net> | 2022-03-02 07:44:54 +0100 |
commit | 7ef9108d849b36058a5cbf38a5d23e479c4709d8 (patch) | |
tree | 145534813489354f876e5f7ca92948e4c4c02037 | |
parent | b83dd1f059fc7271450d08bb2b213744f3b4d532 (diff) |
Update packaging
-rw-r--r-- | debian/control | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/control b/debian/control index ca84e46..8278ce7 100644 --- a/debian/control +++ b/debian/control @@ -5,7 +5,7 @@ Uploaders: Stéphane Glondu <glondu@debian.org> Build-Depends: debhelper-compat (= 13), - ocaml-nox, + ocaml, ocaml-dune, libdune-ocaml-dev, libsexplib0-ocaml-dev (>= 0.14), |