diff options
author | Stephane Glondu <steph@glondu.net> | 2023-07-22 11:03:23 +0200 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2023-07-22 11:14:37 +0200 |
commit | 2d3b47756672c697b8821ade1068948d336a844b (patch) | |
tree | 85f590b8205139bc26caafeb6521b31b65ff3047 | |
parent | 0a36b1bbaaa62c2cbd47a658cb6dff2fa25df6df (diff) |
Update packaging
-rw-r--r-- | debian/control | 2 | ||||
-rw-r--r-- | debian/libmtime-ocaml-dev.install.in | 5 |
2 files changed, 2 insertions, 5 deletions
diff --git a/debian/control b/debian/control index 3d6fbf7..dec7419 100644 --- a/debian/control +++ b/debian/control @@ -13,7 +13,7 @@ Build-Depends: libtopkg-ocaml-dev, opam-installer, dh-ocaml -Standards-Version: 4.6.0 +Standards-Version: 4.6.2 Rules-Requires-Root: no Homepage: https://erratique.ch/software/mtime Vcs-Git: https://salsa.debian.org/ocaml-team/ocaml-mtime.git diff --git a/debian/libmtime-ocaml-dev.install.in b/debian/libmtime-ocaml-dev.install.in index 0c4589f..2d670fa 100644 --- a/debian/libmtime-ocaml-dev.install.in +++ b/debian/libmtime-ocaml-dev.install.in @@ -6,9 +6,6 @@ OPT: @OCamlStdlibDir@/*/*.cmx OPT: @OCamlStdlibDir@/*/*.cmxa OPT: @OCamlStdlibDir@/*/*.a -@OCamlStdlibDir@/*/*/*.mli -@OCamlStdlibDir@/*/*/*.cmi -@OCamlStdlibDir@/*/*/*.cmt* OPT: @OCamlStdlibDir@/*/*/*.cmx OPT: @OCamlStdlibDir@/*/*/*.cmxa OPT: @OCamlStdlibDir@/*/*/*.a @@ -16,6 +13,6 @@ OPT: @OCamlStdlibDir@/*/*/*.a @OCamlStdlibDir@/*/*/*/*.cmi @OCamlStdlibDir@/*/*/*/*.cmt* @OCamlStdlibDir@/*/*/*/*.js -OPT: @OCamlStdlibDir@/*/*/*/*.a +@OCamlStdlibDir@/*/*/*/*.a OPT: @OCamlStdlibDir@/*/*/*/*.cmx OPT: @OCamlStdlibDir@/*/*/*/*.cmxa |