<stdin>

diff --git a/debhelper/dh_ocaml b/debhelper/dh_ocaml
index de4535b..5f93265 100755
--- a/debhelper/dh_ocaml
+++ b/debhelper/dh_ocaml
@@ -369,6 +369,20 @@ foreach my $package (keys(%dev_packages), @binary_packages)
   };
 };
 
+verbose_print "+++ Strip static libraries +++";
+foreach my $package (keys(%dev_packages)) {
+  find(sub {
+    if (-f $_ && /\.a$/) {
+      if (get_buildoption('nostrip')) {
+        verbose_print("Not stripping $_ due to nostrip")
+      } else {
+        doit(cross_command("strip"), "--enable-deterministic-archives",
+          "--strip-debug", $_);
+      }
+    }
+  }, tmpdir($package));
+}
+
 verbose_print "+++ Compute .md5sums and lintian files for dev packages +++";
 my %oinfo;
 foreach my $package (keys(%dev_packages)) {