swendel/nixpkgs
1
0
Fork 0
mirror of https://github.com/SebastianWendel/nixpkgs.git synced 2024-09-21 21:09:00 +02:00
Code Issues Packages Projects Releases Wiki Activity

yosys: 0.10+1 -> 0.11+52, with abc update

Browse source 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
This commit is contained in:
Austin Seipp 2021-12-02 14:04:44 -06:00
parent 37f81936fa
commit a79ca33d94
2 changed files with 10 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
pkgs/applications/science/logic/abc/default.nix
View file

@ -4,13 +4,13 @@
stdenv.mkDerivation rec {
pname = "abc-verifier";
version = "2020.11.24";
version = "2021.11.12";
src = fetchFromGitHub {
owner = "yosyshq";
repo = "abc";
rev = "4f5f73d18b137930fb3048c0b385c82fa078db38";
sha256 = "0z1kp223kix7i4r7mbj2bzawkdzc55nsgc41m85dmbajl9fsj1m0";
owner = "yosyshq";
repo = "abc";
rev = "f6fa2ddcfc89099726d60386befba874c7ac1e0d";
hash = "sha256-0rvMPZ+kL0m/GjlCLx3eXYQ0osQ2wQiS3+csqPl3U9s=";
};
nativeBuildInputs = [ cmake ];

10
pkgs/development/compilers/yosys/default.nix
View file

@ -34,13 +34,13 @@
stdenv.mkDerivation rec {
pname = "yosys";
version = "0.10+1";
version = "0.11+52";
src = fetchFromGitHub {
owner = "YosysHQ";
repo = "yosys";
rev = "7a7df9a3b4996b17bb774377483b15de49aa3d9b";
sha256 = "sha256-gi/Q6loIQ75NTbS9b/Q8sdrl9NGBDae2+AAGHVYB0WI=";
owner = "YosysHQ";
repo = "yosys";
rev = "2be110cb0ba645f95f62ee01b6a6fa46a85d5b26";
hash = "sha256-A1QKu6SbtpJJPF8/LA5SMUP3/+n5giM6rOYdc6vkl90=";
};
enableParallelBuilding = true;