From 67a74a84ddd3e8bf62d8dd658765d52056c3ecd0 Mon Sep 17 00:00:00 2001
From: Michael Walker <mike@barrucadu.co.uk>
Date: Sun, 3 Apr 2016 16:03:29 +0100
Subject: [PATCH] Add dpor library.

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

diff --git a/build-constraints.yaml b/build-constraints.yaml
index f2769976..77f95857 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -1590,6 +1590,7 @@ packages:
 
     "Michael Walker <mike@barrucadu.co.uk> @barrucadu":
         - both
+        - dpor
         - dejafu
         - async-dejafu
         - hunit-dejafu