chore: update F*

Author: TWal

flake.lock

@@ -10,7 +10,8 @@
     pkgs = import nixpkgs { inherit system; };
     z3 = fstar-flake.packages.${system}.z3;
     fstar = fstar-flake.packages.${system}.fstar;
-    comparse = pkgs.callPackage ./default.nix {inherit fstar z3; ocamlPackages = pkgs.ocaml-ng.ocamlPackages_4_14;};
+    ocamlPackages = fstar-flake.packages.${system}.ocamlPackages;
+    comparse = pkgs.callPackage ./default.nix {inherit fstar z3 ocamlPackages;};
   in {
     packages.${system} = {
       inherit fstar comparse;