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