From 210a5a805d849614de08cd716c8c128b29da00e9 Mon Sep 17 00:00:00 2001
From: Oleg Grenrus <oleg.grenrus@iki.fi>
Date: Tue, 25 Aug 2015 07:20:05 +0300
Subject: [PATCH 1/2] Sort phadej's list

---
 build-constraints.yaml | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 3f6af0f3..887c7423 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -863,16 +863,16 @@ 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
+        - waitra
 
     "Adam C. Foltzer acfoltzer@galois.com @acfoltzer":
         - cryptol

From 9b552864eca81e19779f5058f2da85b1c83b9300 Mon Sep 17 00:00:00 2001
From: Oleg Grenrus <oleg.grenrus@iki.fi>
Date: Tue, 25 Aug 2015 07:21:00 +0300
Subject: [PATCH 2/2] Add these

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

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 887c7423..cede02d2 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -872,6 +872,7 @@ packages:
         - purescript
         - regex-applicative-text
         - spdx
+        - these
         - waitra
 
     "Adam C. Foltzer acfoltzer@galois.com @acfoltzer":