diff options
author | Ashijit Pramanik <ashijit007@gmail.com> | 2018-12-01 12:22:34 +0530 |
---|---|---|
committer | Ashijit Pramanik <ashijit007@gmail.com> | 2018-12-01 12:22:34 +0530 |
commit | 6ed379f77f087fbba6c7899ded53c314b95519f4 (patch) | |
tree | 679157cb27c2a84c0ca9c0c70d19e929663ed720 /pkgs/development/compilers/manticore/default.nix | |
parent | 273aa1ff815dcdf4a40d2ce38eff9ecf27e89bf2 (diff) | |
download | nixpkgs-6ed379f77f087fbba6c7899ded53c314b95519f4.tar nixpkgs-6ed379f77f087fbba6c7899ded53c314b95519f4.tar.gz nixpkgs-6ed379f77f087fbba6c7899ded53c314b95519f4.tar.bz2 nixpkgs-6ed379f77f087fbba6c7899ded53c314b95519f4.tar.lz nixpkgs-6ed379f77f087fbba6c7899ded53c314b95519f4.tar.xz nixpkgs-6ed379f77f087fbba6c7899ded53c314b95519f4.tar.zst nixpkgs-6ed379f77f087fbba6c7899ded53c314b95519f4.zip |
manticore: 2017-08-22 -> 2018-09-29
Diffstat (limited to 'pkgs/development/compilers/manticore/default.nix')
-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 2c8fe186612..efbf8561b7f 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= "f8e08c89dd98b7b8dba318d245dcd4abd3328ae2"; + rev= "47273c463fc3c5d0a0ae655cf75a4700bdb020b4"; in stdenv.mkDerivation rec { name = "manticore-${version}"; - version = "2017.08.22"; + version = "2018.09.29"; src = fetchFromGitHub { owner = "ManticoreProject"; repo = "manticore"; - sha256 = "06icq0qdzwyzbsyms53blxpb9i26n2vn7ci8p9xvvnq687hxhr73"; + sha256 = "1prrgp7ldkdnrdbj224qqkirw8bj72460ix97c96fy264j9c97cn"; inherit rev; }; |