Revert "Fix #6753: Redundant uuid-types-1.0.3 in stack-8.6.5.yaml"

This reverts commit f3df3cc.
agda · Aug 5, 2023 · 8c4f28a · 8c4f28a
1 parent f3df3cc
commit 8c4f28a
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/stack-8.6.5.yaml b/stack-8.6.5.yaml
@@ -19,5 +19,8 @@ extra-deps:
 - splitmix-0.1.0.3
 - strict-0.4.0.1
 - these-1.1.1.1
+# uuid-types-1.0.3 is part of lts-14.27, but we need to add it here
+# because we want to build it against random-1.2, while lts-14.27 has random-1.1
+- uuid-types-1.0.3
 - text-icu-0.8.0.2
 - vector-hashtables-0.1.1.1