Commit 4a5e0223 authored by Théo Zimmermann's avatar Théo Zimmermann Committed by Vincent Laporte
Browse files

coqPackages.trakt: fix documented license

parent 53ef5765

pkgs/development/coq-modules/trakt/default.nix

+1 −1
Original line number Diff line number Diff line
@@ -21,7 +21,7 @@ mkCoqDerivation { 
  meta = with lib; {

    description = "A generic goal preprocessing tool for proof automation tactics in Coq";

    maintainers = with maintainers; [ siraben ];

    license = licenses.cecill-b;

    license = licenses.lgpl3Plus;

    platforms = platforms.unix;

  };

}