public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

z3: add ttuegel to maintainers

Browse Source
This commit is contained in:
Thomas Tuegel 2020-08-21 11:29:26 -05:00 committed by Jon
parent 1f512d7804
commit 616dd214d1
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/applications/science/logic/z3/default.nix
View File

@ -46,6 +46,6 @@ stdenv.mkDerivation rec {
homepage = "https://github.com/Z3Prover/z3"; homepage = "https://github.com/Z3Prover/z3";
license = stdenv.lib.licenses.mit; license = stdenv.lib.licenses.mit;
platforms = stdenv.lib.platforms.x86_64; platforms = stdenv.lib.platforms.x86_64;
maintainers = [ stdenv.lib.maintainers.thoughtpolice ]; maintainers = with stdenv.lib.maintainers; [ thoughtpolice ttuegel ];
}; };
} }