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
..
2019-04-17 15:55:57 +01:00
2020-03-26 09:28:13 +01:00
2019-10-01 16:09:07 +09:00
2020-04-23 09:59:33 +00:00
2019-09-06 22:46:05 +02:00
2018-11-22 08:59:48 +00:00
2018-08-30 08:09:54 -04:00
2020-02-10 14:14:18 -05:00
2019-09-26 17:42:42 +02:00