diff --git a/debian/liboqs-dev.install b/debian/liboqs-dev.install
index c9ee60e..06d4901 100644
--- a/debian/liboqs-dev.install
+++ b/debian/liboqs-dev.install
@@ -1,2 +1,3 @@
 usr/include/*
+usr/lib/*/lib*.so