Unverified Commit 55d73de2 authored by Yohann Boniface's avatar Yohann Boniface Committed by GitHub
Browse files

boogie: update license to MIT (#466623)

parents 53d7dd87 810b5523

pkgs/by-name/bo/boogie/package.nix

+1 −1
Original line number Diff line number Diff line
@@ -62,7 +62,7 @@ buildDotnetModule rec { 


      This derivation may be used as a vim plugin to provide syntax highlighting.

    '';

    license = lib.licenses.mspl;

    license = lib.licenses.mit;

    mainProgram = "boogie";

    maintainers = with lib.maintainers; [ taktoa ];

    platforms = with lib.platforms; linux ++ darwin;