diff options
author | Stephane Glondu <steph@glondu.net> | 2023-08-12 09:03:00 +0200 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2023-08-12 09:03:00 +0200 |
commit | 51bb6a2202f839058904bd4cdd6db755fcc8557b (patch) | |
tree | ea48200365a5047a273e121fe1d02261741f98ec | |
parent | 74ca5e3f6a6e8a43bf72e4ea6552892e949c3089 (diff) |
Depend on ocaml instead of ocaml-nox
-rw-r--r-- | debian/control | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/control b/debian/control index 3abb3f0..2784192 100644 --- a/debian/control +++ b/debian/control @@ -11,7 +11,7 @@ Build-Depends: libppxlib-ocaml-dev (>= 0.25.0), ocaml-dune, menhir, - ocaml-nox + ocaml Standards-Version: 4.6.2 Rules-Requires-Root: no Section: ocaml |