diff --git a/debian/control b/debian/control index b74bfd5e..2d057470 100644 --- a/debian/control +++ b/debian/control @@ -12,7 +12,7 @@ Build-Depends: debhelper (>= 9.0), cmake, chrpath, texinfo, sharutils, lcov, procps, help2man, zlib1g-dev, g++-multilib [amd64 i386 kfreebsd-amd64 mips mips64 mips64el mipsel powerpc ppc64 s390 s390x sparc sparc64 x32], libjs-mathjax, - doxygen, gfortran + doxygen, gfortran, ocaml-nox [amd64 arm64 armel armhf i386 ppc64el s390x], ocaml-findlib [amd64 arm64 armel armhf i386 ppc64el s390x], libctypes-ocaml-dev [amd64 arm64 armel armhf i386 ppc64el s390x],