symbiyosys: 2018.05.03 -> 2018.07.26

Signed-off-by: Austin Seipp <[e-mail]>

pkgs/applications/science/logic/symbiyosys/default.nix

···
 
 stdenv.mkDerivation rec {
   name = "symbiyosys-${version}";
-  version = "2018.05.03";
+  version = "2018.07.26";
 
   src = fetchFromGitHub {
     owner  = "yosyshq";
     repo   = "symbiyosys";
-    rev    = "35d956c7bb77c0602d198035b2d73a9c61cb4de4";
-    sha256 = "02zg3nkwp3fdjwz1agvsn55k1xipwh2rradb0bgjrjpsmmw63gda";
+    rev    = "2fef25f93dd1cb5137a08e71f507e3eee8100fb1";
+    sha256 = "103fga0n11h4n2q346xyz3k0615d9lgx2b8sqr1pwn2hx26kchav";
   };
 
   buildInputs = [ python3 yosys ];