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
481b53d402
nixpkgs/pkgs/tools/security/echidna
History
Miao, ZhiCheng d20ff6f764
echidna: 2.0.5 -> 2.2.1 
* Changes
  - add slither-analyzer as a explicit executable system dependency.
  - use custom hevm dependency, instead of from haskellPackage.
2023-07-20 22:34:23 +03:00
..
default.nix echidna: 2.0.5 -> 2.2.1 2023-07-20 22:34:23 +03:00