diff --git a/build-constraints.yaml b/build-constraints.yaml
index a015b333..5d20165c 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -2382,6 +2382,8 @@ packages:
 
     "Stephen Diehl <stephen.m.diehl@gamil.com> @sdiehl":
         - protolude
+        - repline
+        - picosat
 
     # "Daishi Nakajima <nakaji.dayo@gmail.com> @nakaji_dayo":
         # - yesod-job-queue # build failure https://github.com/nakaji-dayo/yesod-job-queue/issues/10