stp: add numinit as maintainer

NixOS · Jul 19, 2024 · 6be4dbd · 6be4dbd
1 parent 894f94a
commit 6be4dbd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pkgs/applications/science/logic/stp/default.nix b/pkgs/applications/science/logic/stp/default.nix
@@ -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;
   };