···5 /* Do not use "dev" as a version. If you do, Tilt will consider itself
6 running in development environment and try to serve assets from the
7 source tree, which is not there once build completes. */
8- version = "0.25.0";
910 src = fetchFromGitHub {
11 owner = "tilt-dev";
12 repo = pname;
13 rev = "v${version}";
14- sha256 = "sha256-OWLyjXsV2MX1WfSjRD1/0oAeZxQpeWz5xIyYTLnn+eA=";
15 };
16 vendorSha256 = null;
17
···5 /* Do not use "dev" as a version. If you do, Tilt will consider itself
6 running in development environment and try to serve assets from the
7 source tree, which is not there once build completes. */
8+ version = "0.25.1";
910 src = fetchFromGitHub {
11 owner = "tilt-dev";
12 repo = pname;
13 rev = "v${version}";
14+ sha256 = "sha256-dvY5kiLJ3psoQxG12E4qOjgF9GdXpjRKU3HlbPvwWBU=";
15 };
16 vendorSha256 = null;
17