Unverified Commit 84164a94 authored by Morgan Jones's avatar Morgan Jones
Browse files

fstar: fix update script

parent 61c45925

pkgs/by-name/fs/fstar/package.nix

+1 −1
Original line number Diff line number Diff line
@@ -105,7 +105,7 @@ ocamlPackages.buildDunePackage (finalAttrs: { 
    updateScript = nix-update-script {

      extraArgs = [

        "--version-regex"

        "v(\\d{4}\\.\\d{2}\\.\\d{2})$"

        "^v([0-9]{4}\\.[0-9]{2}\\.[0-9]{2})$"

      ];

    };

    z3 = fstarZ3;