Unverified Commit dab57478 authored by Weijia Wang's avatar Weijia Wang Committed by GitHub
Browse files

Merge pull request #300870 from vbgl/coq-vpl-fix-meta 

coqPackages.Vpl: fix meta
parents 8214a99f 3c336f30

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

+4 −1
Original line number Diff line number Diff line
@@ -11,7 +11,10 @@ mkCoqDerivation { 


  sourceRoot = "source/coq";



  meta = coq.ocamlPackages.vpl-core.meta // {

  meta = {

    description = "Coq interface to VPL abstract domain of convex polyhedra";

    homepage = "https://amarechal.gitlab.io/home/projects/vpl/";

    license = lib.licenses.lgpl3Only;

    maintainers = [ lib.maintainers.vbgl ];

  };

}