hobbes: 2020-03-10 -> 2020-05-19
This commit is contained in:
parent
d7c0d31429
commit
aef6544c13
@ -4162,6 +4162,12 @@
|
||||
githubId = 10544;
|
||||
name = "Giuluo Eulisse";
|
||||
};
|
||||
kthielen = {
|
||||
email = "kthielen@gmail.com";
|
||||
github = "kthielen";
|
||||
githubId = 1409287;
|
||||
name = "Kalani Thielen";
|
||||
};
|
||||
ktor = {
|
||||
email = "kruszewsky@gmail.com";
|
||||
github = "ktor";
|
||||
|
@ -2,13 +2,13 @@
|
||||
|
||||
stdenv.mkDerivation {
|
||||
name = "hobbes";
|
||||
version = "unstable-2020-03-10";
|
||||
version = "unstable-2020-05-19";
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "morgan-stanley";
|
||||
repo = "hobbes";
|
||||
rev = "ae956df9da3f3b24630bc1757dfaa2a8952db07a";
|
||||
sha256 = "1a0lb87vb0qcp5wy6swk4jcc88l7vhy6iflsk7zplw547mbjhjsy";
|
||||
rev = "3d80a46b44a362a97a6b963a2bf788fd1f67ade1";
|
||||
sha256 = "03m915g3283z2nfdr03dj5k76wn917knfqxb0xj3qinbl4cka2p1";
|
||||
};
|
||||
|
||||
nativeBuildInputs = [
|
||||
@ -33,8 +33,7 @@ stdenv.mkDerivation {
|
||||
'';
|
||||
homepage = "https://github.com/Morgan-Stanley/hobbes";
|
||||
license = licenses.asl20;
|
||||
maintainers = [ maintainers.thmzlt ];
|
||||
maintainers = with maintainers; [ kthielen thmzlt ];
|
||||
platforms = [ "x86_64-linux" "x86_64-darwin" ];
|
||||
broken = stdenv.isDarwin;
|
||||
};
|
||||
}
|
||||
|
@ -183,7 +183,7 @@ in
|
||||
|
||||
glade = callPackage ../development/tools/glade { };
|
||||
|
||||
hobbes = callPackage ../development/tools/hobbes { stdenv = gcc6Stdenv; }; # GCC 6 is latest currently supported. See https://git.io/JvK6M.
|
||||
hobbes = callPackage ../development/tools/hobbes { };
|
||||
|
||||
proto-contrib = callPackage ../development/tools/proto-contrib {};
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user