Unverified Commit 3c336f30 authored by Vincent Laporte's avatar Vincent Laporte
Browse files

coqPackages.Vpl: fix meta

parent 1ae6aeea

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 ];

  };

}