forked from mirrors/nixpkgs
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 |