From 7c58f403db6f73dad671ba5d4783ed8aaf37a742 Mon Sep 17 00:00:00 2001 From: Oleg Grenrus Date: Sun, 12 Jul 2015 14:55:55 +0300 Subject: [PATCH] Add postgresql-simple-url --- build-constraints.yaml | 1 + 1 file changed, 1 insertion(+) diff --git a/build-constraints.yaml b/build-constraints.yaml index c8437ffc..5a639b1d 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -843,6 +843,7 @@ packages: - lattices - waitra - spdx + - postgresql-simple-url "Adam C. Foltzer acfoltzer@galois.com @acfoltzer": - cryptol