diff options
| author | Jan van Brügge <supermanitu@gmail.com> | 2022-01-10 12:28:13 +0100 |
|---|---|---|
| committer | Jan van Brügge <supermanitu@gmail.com> | 2022-01-19 18:25:27 +0100 |
| commit | d653b33f2083022e5e0bfad73002314570379ef1 (patch) | |
| tree | 3545d8be8dde4d67b4f0a7a041a7b29c863df912 /pkgs/applications/science/logic/isabelle/default.nix | |
| parent | 6fff929c5ed6cf418d4fa13a0f45c052a8c86394 (diff) | |
| download | nixpkgs-d653b33f2083022e5e0bfad73002314570379ef1.tar nixpkgs-d653b33f2083022e5e0bfad73002314570379ef1.tar.gz nixpkgs-d653b33f2083022e5e0bfad73002314570379ef1.tar.bz2 nixpkgs-d653b33f2083022e5e0bfad73002314570379ef1.tar.lz nixpkgs-d653b33f2083022e5e0bfad73002314570379ef1.tar.xz nixpkgs-d653b33f2083022e5e0bfad73002314570379ef1.tar.zst nixpkgs-d653b33f2083022e5e0bfad73002314570379ef1.zip | |
maintainers: add jvanbruegge
Diffstat (limited to 'pkgs/applications/science/logic/isabelle/default.nix')
| -rw-r--r-- | pkgs/applications/science/logic/isabelle/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/isabelle/default.nix b/pkgs/applications/science/logic/isabelle/default.nix index 480affb4693..0f041002425 100644 --- a/pkgs/applications/science/logic/isabelle/default.nix +++ b/pkgs/applications/science/logic/isabelle/default.nix @@ -127,7 +127,7 @@ stdenv.mkDerivation rec { ''; homepage = "https://isabelle.in.tum.de/"; license = licenses.bsd3; - maintainers = [ maintainers.jwiegley ]; + maintainers = [ maintainers.jwiegley maintainers.jvanbruegge ]; platforms = platforms.linux; }; } |