dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

stp: add numinit as maintainer

Browse Source
This commit is contained in:
Morgan Jones 2024-07-13 23:57:01 -07:00
parent 894f94a26b
commit 6be4dbd223
No known key found for this signature in database
GPG Key ID: 52BAC54ED447974E
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/stp/default.nix
View File

@ -64,7 +64,7 @@ stdenv.mkDerivation rec {
meta = with lib; {
description = "Simple Theorem Prover";
maintainers = with maintainers; [ McSinyx ];
maintainers = with maintainers; [ McSinyx numinit ];
platforms = platforms.linux;
license = licenses.mit;
};