diff --git a/build-constraints.yaml b/build-constraints.yaml
index 400defe8..289ae7c5 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -3,7 +3,7 @@ ghc-major-version: "8.0"
 packages:
     "Siddharth Bhat <siddu.druid@gmail.com> @bollu":
         - symengine
-    
+
     "alpheccar <misc@alpheccar.org> @alpheccar":
         - HPDF
         - hbayes
@@ -2479,6 +2479,9 @@ skipped-tests:
     # https://github.com/acid-state/safecopy/issues/45
     - safecopy
 
+    # Missing C library: symengine
+    - symengine
+
 # end of skipped-tests
 
 # Tests which we should build and run, but which are expected to fail. We