···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.22.8";
910 src = fetchFromGitHub {
11 owner = "tilt-dev";
12 repo = pname;
13 rev = "v${version}";
14- sha256 = "sha256-LUx/Ewk7wesHpFbdWZtjEkhYIEkEhJ3XqZ2WywmcqJg=";
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.22.9";
910 src = fetchFromGitHub {
11 owner = "tilt-dev";
12 repo = pname;
13 rev = "v${version}";
14+ sha256 = "sha256-h19Cj4ztgypT/j1gB+PbvgDJ7jlJ3CYPEbK62tJeMss=";
15 };
16 vendorSha256 = null;
17
···13# Uses scheme to bootstrap the build of idris2
14stdenv.mkDerivation rec {
15 pname = "idris2";
16- version = "0.4.0";
1718 src = fetchFromGitHub {
19 owner = "idris-lang";
20 repo = "Idris2";
21 rev = "v${version}";
22- sha256 = "105jybjf5s0k6003qzfxchzsfcpsxip180bh3mdmi74d464d0h8g";
23 };
2425 # We do not add any propagatedNativeBuildInputs because we do not want the
···13# Uses scheme to bootstrap the build of idris2
14stdenv.mkDerivation rec {
15 pname = "idris2";
16+ version = "0.5.0";
1718 src = fetchFromGitHub {
19 owner = "idris-lang";
20 repo = "Idris2";
21 rev = "v${version}";
22+ sha256 = "sha256-JRI5/dEy9GT8SIj3X+UcJ0SiTQ20pqevWeTNX6e+Nfw=";
23 };
2425 # We do not add any propagatedNativeBuildInputs because we do not want the