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