nixpkgs/pkgs/development/compilers/bluespec
David Anderson c9346a6ac8 bluespec: 2021.07 -> 2022.01
Current bsc releases ship a tarball of the expected version of the yices
source, so switch to using that rather than gamble on the nixpkgs yices
version.

Signed-off-by: David Anderson <dave@natulte.net>
2022-04-09 11:29:27 -07:00
..
default.nix bluespec: 2021.07 -> 2022.01 2022-04-09 11:29:27 -07:00
libstp_stub_makefile.patch