diff options
Diffstat (limited to 'pkgs/development/coq-modules/Vpl')
| -rw-r--r-- | pkgs/development/coq-modules/Vpl/default.nix | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/pkgs/development/coq-modules/Vpl/default.nix b/pkgs/development/coq-modules/Vpl/default.nix index 8936ec61a2c81..6581a919b8dff 100644 --- a/pkgs/development/coq-modules/Vpl/default.nix +++ b/pkgs/development/coq-modules/Vpl/default.nix @@ -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 ]; }; } |