nixpkgs/pkgs/development/compilers/gerbil/default.nix

{ callPackage, fetchFromGitHub }:

callPackage ./build.nix rec {
  version = "0.16";
  git-version = version;
  src = fetchFromGitHub {
    owner = "vyzo";
    repo = "gerbil";
    rev = "v${version}";
    sha256 = "0vng0kxpnwsg8jbjdpyn4sdww36jz7zfpfbzayg9sdpz6bjxjy0f";
  };
}
gerbil: 0.15.1 -> 0.16 Now that v0.16 was released at last, make the configurePhase and instalPhase the same again for default and unstable. 2020-05-17 22:10:03 +02:00			`{ callPackage, fetchFromGitHub }:`
gerbil: init at 0.10 2017-06-03 02:26:52 +02:00
gerbil: 0.13 -> 0.14 2018-11-19 15:14:15 +01:00			`callPackage ./build.nix rec {`
gerbil: 0.15.1 -> 0.16 Now that v0.16 was released at last, make the configurePhase and instalPhase the same again for default and unstable. 2020-05-17 22:10:03 +02:00			`version = "0.16";`
			`git-version = version;`
gerbil: 0.13 -> 0.14 2018-11-19 15:14:15 +01:00			`src = fetchFromGitHub {`
			`owner = "vyzo";`
			`repo = "gerbil";`
			`rev = "v${version}";`
gerbil: 0.15.1 -> 0.16 Now that v0.16 was released at last, make the configurePhase and instalPhase the same again for default and unstable. 2020-05-17 22:10:03 +02:00			`sha256 = "0vng0kxpnwsg8jbjdpyn4sdww36jz7zfpfbzayg9sdpz6bjxjy0f";`
gerbil: init at 0.10 2017-06-03 02:26:52 +02:00			`};`
			`}`