nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-05 12:34:00 +00:00
Code Issues Packages Projects Releases Wiki Activity
af0f47e05c
nixpkgs/pkgs/applications/science/logic/verifast
History
Pavol Rusnak 461a252bee
verifast: change license to MIT 
It seems verifast was relicensed to MIT in 2016:
b3c1bce76a

As this was the only package using lib.licenses.msrla I dropped it.
2020-04-23 09:59:33 +00:00
..
default.nix verifast: change license to MIT 2020-04-23 09:59:33 +00:00