saw-tools: update license (#110920)
commitcbad557fe274b8eeeb0f950df1184cc3c2d43d3c
authorRoland Coeurjoly <rolandcoeurjoly@gmail.com>
dateWed 27 Jan 2021, 17:52 (6 years ago)
parent1030745
pkgs/applications/science/logic/saw-tools/default.nix+1−1
@@ -53,7 +53,7 @@ stdenv.mkDerivation {
5353 meta = {
5454 description = "Tools for software verification and analysis";
5555 homepage = "https://saw.galois.com";
56− license = lib.licenses.unfreeRedistributable;
56+ license = lib.licenses.bsd3;
5757 platforms = lib.platforms.linux;
5858 maintainers = [ lib.maintainers.thoughtpolice ];
5959 };