forked from mirrors/nixpkgs
b42501e1e7
Do not build `proverif_interact` (that was not installed). |
||
---|---|---|
.. | ||
default.nix |
b42501e1e7
Do not build `proverif_interact` (that was not installed). |
||
---|---|---|
.. | ||
default.nix |