diff --git a/build-constraints.yaml b/build-constraints.yaml
index fe4af1a1..5a639b1d 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -842,6 +842,8 @@ packages:
         - edit-distance
         - lattices
         - waitra
+        - spdx
+        - postgresql-simple-url
 
     "Adam C. Foltzer acfoltzer@galois.com @acfoltzer":
         - cryptol