public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

saw-tools: update license (#110920)

Browse Source
This commit is contained in:
Roland Coeurjoly 2021-01-27 17:52:41 +01:00 committed by GitHub
parent 1030745555
commit cbad557fe2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/applications/science/logic/saw-tools/default.nix
View File

@ -53,7 +53,7 @@ stdenv.mkDerivation {
meta = { meta = {
description = "Tools for software verification and analysis"; description = "Tools for software verification and analysis";
homepage = "https://saw.galois.com"; homepage = "https://saw.galois.com";
license = lib.licenses.unfreeRedistributable; license = lib.licenses.bsd3;
platforms = lib.platforms.linux; platforms = lib.platforms.linux;
maintainers = [ lib.maintainers.thoughtpolice ]; maintainers = [ lib.maintainers.thoughtpolice ];
}; };