diff options
author | Jรถrg Thalheim <Mic92@users.noreply.github.com> | 2019-09-24 13:58:16 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-09-24 13:58:16 +0100 |
commit | cb256b72de01776e82fa3dd93c94302eb603f3c8 (patch) | |
tree | 3b8b9b31b7db224d55edbfc83dce5d3dd3145ce8 | |
parent | 6b87fb6df22a0e9527cc862965d63efed8a1d042 (diff) | |
parent | 400431a0de941c8dc12e2ff959bf5caef33c8a2c (diff) |
manticore: 2018.09.29 -> 2019.09.20 (#69350)
manticore: 2018.09.29 -> 2019.09.20
-rw-r--r-- | pkgs/development/compilers/manticore/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/development/compilers/manticore/default.nix b/pkgs/development/compilers/manticore/default.nix index 6e0716659c7..1e9b77cfb79 100644 --- a/pkgs/development/compilers/manticore/default.nix +++ b/pkgs/development/compilers/manticore/default.nix @@ -1,15 +1,15 @@ { stdenv, fetchFromGitHub, coreutils, autoreconfHook, smlnj }: let - rev= "47273c463fc3c5d0a0ae655cf75a4700bdb020b4"; + rev= "4528ccacdfd53d36f5959c005b27cd7ab6175b83"; in stdenv.mkDerivation { pname = "manticore"; - version = "2018.09.29"; + version = "2019.09.20"; src = fetchFromGitHub { owner = "ManticoreProject"; repo = "manticore"; - sha256 = "1prrgp7ldkdnrdbj224qqkirw8bj72460ix97c96fy264j9c97cn"; + sha256 = "1xz7msiq5x2c56zjxydbxlj6r001mm5zszcda6f6v5qfmmd1bakz"; inherit rev; }; |