From 24aaa4b3f7f9b7ead10ef5938893d9f1b006f6ef Mon Sep 17 00:00:00 2001
From: Stephen Diehl <stephen.m.diehl@gmail.com>
Date: Tue, 3 Jan 2017 16:03:55 +0000
Subject: [PATCH] Add `repline` and `picosat` packages.

---
 build-constraints.yaml | 2 ++
 1 file changed, 2 insertions(+)

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