Commit 7308198b authored by R. RyanTM's avatar R. RyanTM Committed by Vincent Laporte
Browse files

fstar: 2023.09.03 -> 2024.01.13

parent a12b828a

pkgs/development/compilers/fstar/default.nix

+2 −2
Original line number Diff line number Diff line
@@ -12,13 +12,13 @@ 


let



  version = "2023.09.03";

  version = "2024.01.13";



  src = fetchFromGitHub {

    owner = "FStarLang";

    repo = "FStar";

    rev = "v${version}";

    hash = "sha256-ymoP5DvaLdrdwJcnhZnLEvwNxUFzhkICajPyK4lvacc=";

    hash = "sha256-xjSWDP8mSjLcn+0hsRpEdzsBgBR+mKCZB8yLmHl+WqE=";

  };



  fstar-dune = ocamlPackages.callPackage ./dune.nix { inherit version src; };