nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-24 16:03:23 +00:00
Code Issues Packages Projects Releases Wiki Activity

manticore: 2018.09.29 -> 2019.09.20 (#69350)

Browse Source 
manticore: 2018.09.29 -> 2019.09.20
This commit is contained in:
Jörg Thalheim 2019-09-24 13:58:16 +01:00 committed by GitHub
commit cb256b72de
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/development/compilers/manticore/default.nix
View File

@ -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;
};