Update packaging

diff --git a/debian/dispatch.ml b/debian/dispatch.ml
index f821b88043a029f780a2adb6ddf8aed90092e755..3ee36d45f6079ad3db485d5a2b1aa166fbcd2917 100644 (file)
--- a/debian/dispatch.ml
+++ b/debian/dispatch.ml
@@ -177,6 +177,7 @@ let () =
     [
       "camlinternalOO"; "camlinternalMod"; "camlinternalLazy";
       "camlinternalFormatBasics"; "camlinternalFormat";
+      "camlinternalAtomic";
       "topdirs";
       "unix"; "unixLabels";
       "str"; "camlstr";
@@ -202,9 +203,14 @@ let process_static x =
   | Some pkg -> push pkg x
   | None -> Some x
 
+let find_base base =
+  match SMap.find_opt base !base_map with
+  | Some x -> Some x
+  | None -> SMap.find_opt (String.capitalize_ascii base) !base_map
+
 let process_file x =
   let base = get_base x in
-  match SMap.find_opt base !base_map with
+  match find_base base with
   | Some set ->
      if List.exists (fun y -> endswith y x) exts_dev then (
        push (snd set) x

diff --git a/debian/ocamlvars.mk b/debian/ocamlvars.mk
index 7cc96e079da2d416a8481e8cc79517e681cf5377..07045dfd21c5d314d8bd0b24d5b87f818e1d7e85 100644 (file)
--- a/debian/ocamlvars.mk
+++ b/debian/ocamlvars.mk
@@ -1,6 +1,6 @@
 include /usr/share/dpkg/architecture.mk
 
-OCAMLMAJOR := 4.11
+OCAMLMAJOR := 4.13
 OCAMLMINOR := 1
 
 OCAML_ABI := $(OCAMLMAJOR).$(OCAMLMINOR)