bluespec: unstable-2020.11.04 -> unstable-2021.02.14

Signed-off-by: Austin Seipp <aseipp@pobox.com>
This commit is contained in:
Austin Seipp 2021-02-22 14:18:50 -06:00
parent c7d0dbe094
commit eb01bbdf8c
No known key found for this signature in database
GPG Key ID: 25D2038DEB08021D

View File

@ -27,13 +27,13 @@ let
ghcWithPackages = ghc.withPackages (g: (with g; [old-time regex-compat syb split ])); ghcWithPackages = ghc.withPackages (g: (with g; [old-time regex-compat syb split ]));
in stdenv.mkDerivation rec { in stdenv.mkDerivation rec {
pname = "bluespec"; pname = "bluespec";
version = "unstable-2020.11.04"; version = "unstable-2021.02.14";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "B-Lang-org"; owner = "B-Lang-org";
repo = "bsc"; repo = "bsc";
rev = "103357f32cf63f2ca2b16ebc8e2c675ec5562464"; rev = "c085ecd807d85f31d102d8bec71f5c28dc96b31d";
sha256 = "0iikzx0fxky0fmc31lyxfldy1wixr2mayzcn24b8d76wd4ix1vk3"; sha256 = "0c86gwhrarw78cr9c9slb9vij6kcwx3x281kbqji96qqzs0dfb32";
}; };
enableParallelBuilding = true; enableParallelBuilding = true;