lol

nixpkgs: yosys 2017.11.05 -> 2017.12.06

Signed-off-by: Austin Seipp <aseipp@pobox.com>

+11 -11
+11 -11
pkgs/development/compilers/yosys/default.nix
··· 4 4 5 5 stdenv.mkDerivation rec { 6 6 name = "yosys-${version}"; 7 - version = "2017.11.05"; 7 + version = "2017.12.06"; 8 8 9 9 srcs = [ 10 10 (fetchFromGitHub { 11 - owner = "cliffordwolf"; 12 - repo = "yosys"; 13 - rev = "4f31cb6daddedcee467d85797d81b79360ce1826"; 14 - sha256 = "1a5n0g5kpjsy8f99f64w81gkrr450wvffp407r1pddl8pmb0c3r7"; 15 - name = "yosys"; 11 + owner = "cliffordwolf"; 12 + repo = "yosys"; 13 + rev = "8f2638ae2f12a48dcad14f24b0211c16ac724762"; 14 + sha256 = "0synbskclgn97hp28myvl0hp8pqp66awp37z4cv7zl154ipysfl1"; 15 + name = "yosys"; 16 16 }) 17 17 (fetchFromBitbucket { 18 - owner = "alanmi"; 19 - repo = "abc"; 20 - rev = "f6838749f234"; 21 - sha256 = "0n7ywvih958h1c4n7a398a9w3qikhkv885fx5j3y2a0xwqc86m4y"; 22 - name = "yosys-abc"; 18 + owner = "alanmi"; 19 + repo = "abc"; 20 + rev = "31fc97b0aeed"; 21 + sha256 = "0ljmclr4hfh3iiyfw7ji0fm8j983la8021xfpnfd20dyc807hh65"; 22 + name = "yosys-abc"; 23 23 }) 24 24 ]; 25 25 sourceRoot = "yosys";