diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2024-04-02 07:06:45 +0200 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2024-04-02 07:06:45 +0200 |
| commit | 3c336f30895ef47d931fc799960a3d804108d75e (patch) | |
| tree | 30837f6f7df0655045fdfc75157611b7ab43ff58 /pkgs/development/coq-modules/Vpl | |
| parent | 1ae6aeea7e88eab57da93502290db358dc312e02 (diff) | |
coqPackages.Vpl: fix meta
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 ]; }; } |