Code

Fix and simplify Nix build#581

Code

Merged

arcz merged 2 commits intomastercrytic/echidna:masterfrom fix-nixcrytic/echidna:fix-nixCopy head branch name to clipboardJan 6, 2021

Commits

Commits on Dec 8, 2020

• Fix and simplify Nix build

  arcz

  committed
  956ed7d

  Copy full SHA for 956ed7d

Commits on Dec 18, 2020

• libff workaround no longer needed, fixed in nixpkgs

  arcz

  committed
  816a1ed

  Copy full SHA for 816a1ed