Merge pull request #773 from phadej/these

Add these
2026-01-12 15:28:29 +01:00 · 2015-08-25 09:10:37 +02:00 · 2015-08-25 09:10:37 +02:00 · 7b45520eee
commit 7b45520eee
parent 22fef158f6 9b552864ec
1 changed files with 7 additions and 6 deletions
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@ -863,16 +863,17 @@ 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
+        - these
+        - waitra

    "Adam C. Foltzer acfoltzer@galois.com @acfoltzer":
        - cryptol