Merge pull request #300920 from r-ryantm/auto-update/circt

circt: 1.70.0 -> 1.71.0
This commit is contained in:
Weijia Wang 2024-04-03 10:11:08 +02:00 committed by GitHub
commit 4bfabdfa4d
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -17,12 +17,12 @@ let
in
stdenv.mkDerivation rec {
pname = "circt";
version = "1.70.0";
version = "1.71.0";
src = fetchFromGitHub {
owner = "llvm";
repo = "circt";
rev = "firtool-${version}";
hash = "sha256-OELkfyN0fxnQIGQxfwuRM/+DYdb+8m5wlT/H+eQNjq0=";
hash = "sha256-Y6SkMpF5Gpi1Jm3OrWaMkr3uP/vTzawJ9UsxsuOsvpo=";
fetchSubmodules = true;
};