2 lines
60 B
Nix
2 lines
60 B
Nix
{ proverif }: proverif.override { enable_interact = true; }
|
{ proverif }: proverif.override { enable_interact = true; }
|