Workarounds for haskell.nix bugs re pre-installed packages

Co-authored-by: Hamish Mackenzie <[email protected]>
Co-authored-by: Alexander Esgen <[email protected]>

Author: 3 people

cabal.project

@@ -36,3 +36,10 @@ import: ./asserts.cabal
 if(os(windows))
   constraints:
     bitvec -simd
+
+-- Workaround for a haskell.nix bug around pre-installed libraries. Might be
+-- fixed by https://github.com/input-output-hk/haskell.nix/pull/2218.
+extra-packages: Cabal
+if os(windows)
+  constraints: time ^>=1.14
+  allow-newer: *:time

flake.lock

@@ -12,9 +12,7 @@
     nixpkgs.follows = "haskellNix/nixpkgs-unstable";
     flake-utils.url = "github:numtide/flake-utils";
     haskellNix = {
-      # temporarily use the static-nix-tools branch until it's merged to work
-      # aroundt he Cabal build issues.
-      url = "github:input-output-hk/haskell.nix/static-nix-tools";
+      url = "github:input-output-hk/haskell.nix";
       inputs.hackage.follows = "hackageNix";
     };
     hackageNix = {