2
0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-23 04:25:14 +00:00
nixpkgs/pkgs/applications/science/logic/surelog
Henner Zeller 50c509ecf3 surelog: 1.40 -> 1.45
Update Surelog (going along with uhdm 1.45). Fix flaky tests
to to parallel execution of ctest by patching in a fix that is
already upstream.

Result zero hydra failures 

Also: using flatbuffers from nix environment instead of third_party/

Signed-off-by: Henner Zeller <h.zeller@acm.org>
2022-11-08 12:47:27 -08:00
..
default.nix surelog: 1.40 -> 1.45 2022-11-08 12:47:27 -08:00