bluespec: 2021.07 -> 2022.01
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 <bfcdf3e6ca6cef45543bfbb57509c92aec9a39fb@natulte.net>

NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs