nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-11 16:23:26 +00:00
Code Issues Packages Projects Releases Wiki Activity
3d0e426771
nixpkgs/pkgs/development/compilers/bluespec
History
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