diff --git a/build-constraints.yaml b/build-constraints.yaml
index 3f6af0f3..cede02d2 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -863,16 +863,17 @@ packages:
         - string-conversions
 
     "Oleg Grenrus oleg.grenrus@iki.fi @phadej":
-        - edit-distance
-        - lattices
-        - waitra
-        - spdx
-        - postgresql-simple-url
-        - purescript
         - bower-json
         - boxes
+        - edit-distance
+        - lattices
         - pattern-arrows
+        - postgresql-simple-url
+        - purescript
         - regex-applicative-text
+        - spdx
+        - these
+        - waitra
 
     "Adam C. Foltzer acfoltzer@galois.com @acfoltzer":
         - cryptol