nixpkgs/pkgs/applications/science
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
..
astronomy stellarium: 0.20.0 -> 0.20.1 2020-04-21 18:05:15 +02:00
biology mosdepth: 0.2.6 -> 0.2.9 2020-04-21 19:42:05 +02:00
chemistry blas,lapack: use isILP64 instead of is64bit 2020-04-20 16:02:43 -05:00
electronics caneda: use qt5's mkDerivation 2020-04-22 15:21:49 +02:00
geometry treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
logic verifast: change license to MIT 2020-04-23 09:59:33 +00:00
machine-learning blas,lapack: use isILP64 instead of is64bit 2020-04-20 16:02:43 -05:00
math blas,lapack: use isILP64 instead of is64bit 2020-04-20 16:02:43 -05:00
medicine treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
misc treewide: use blas and lapack 2020-04-17 16:24:09 -05:00
molecular-dynamics treewide: use blas and lapack 2020-04-17 16:24:09 -05:00
physics treewide: use blas and lapack 2020-04-17 16:24:09 -05:00
programming treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
robotics treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00