mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-21 21:23:06 +00:00
c9346a6ac8
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> |
||
---|---|---|
.. | ||
default.nix | ||
libstp_stub_makefile.patch |