enable liquidhaskell

Author: juhp

build-constraints/lts-24-build-constraints.yaml

@@ -5658,8 +5658,9 @@ packages:
         - libyaml ^>= 0.1.4
         - libyaml-clib ^>= 0.2.5
         - lifted-base ^>= 0.2.3.12
-        - liquidhaskell < 0
-        - liquidhaskell-boot < 0
+        - liquidhaskell == 0.9.10.1.2
+        - liquidhaskell-boot == 0.9.10.1.2
+        - liquid-fixpoint == 0.9.6.3.2
         - loch-th ^>= 0.2.2
         - lockfree-queue ^>= 0.2.4
         - log-base ^>= 0.12.1.0
@@ -5794,6 +5795,9 @@ packages:
         - singleton-bool ^>= 0.1.8
         - size-based ^>= 0.1.3.3
         - skein ^>= 1.0.9.4
+        - smtlib-backends ^>= 0.4
+        - smtlib-backends-process ^>= 0.3
+        - smtlib-backends-tests
         - snap-core ^>= 1.0.5.1
         - snappy ^>= 0.2.0.4
         - some ^>= 1.0.6