forked from mirrors/nixpkgs
461a252bee
It seems verifast was relicensed to MIT in 2016:
|
||
---|---|---|
.. | ||
default.nix |
461a252bee
It seems verifast was relicensed to MIT in 2016:
|
||
---|---|---|
.. | ||
default.nix |