Commit 810b5523 authored by Gavin Rohrer's avatar Gavin Rohrer
Browse files

boogie: update license to MIT

parent 71f14cf4

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;