gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

bluespec: 2024.01 -> 2024.07

Browse Source 
Signed-off-by: Felix Singer <felixsinger@posteo.net>
This commit is contained in:
Felix Singer
2024-10-21 13:31:41 -05:00
committed by Austin Seipp
parent 1f1ad7e0fe
commit 3f30412c0f
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/compilers/bluespec/default.nix
+2 -2
View File
@@ -28,13 +28,13 @@ let
in stdenv.mkDerivation rec {
pname = "bluespec";
version = "2024.01";
version = "2024.07";
src = fetchFromGitHub {
owner = "B-Lang-org";
repo = "bsc";
rev = version;
sha256 = "sha256-yqmtydv94p7qhps0t4EdPaSZNh/9XCuUwOzLqz0gjxE=";
sha256 = "sha256-gA/vfAkkM2cuArN99JZVYEWTIJqg82HlC+BHNVS5Ot0=";
};
yices-src = fetchurl {