Unverified Commit 4a7d9c49 authored by Austin Horstman's avatar Austin Horstman Committed by GitHub
Browse files

fstar: fix update script (#507151)

parents aa29722a 84164a94

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;