treewide: add stephen-huan as maintainer; python3Packages.{shippai,mathlibtools}: remove (#423707)

pkgs/by-name/in/inflow/package.nix

@@ -74,12 +74,15 @@ stdenv.mkDerivation rec {
         '';
   };
 
-  meta = with lib; {
+  meta = {
     description = "Variance-optimal paragraph formatter";
     homepage = "https://github.com/stephen-huan/inflow";
-    license = licenses.unlicense;
+    license = lib.licenses.unlicense;
     mainProgram = "inflow";
-    maintainers = with maintainers; [ fbrs ];
-    platforms = platforms.all;
+    maintainers = with lib.maintainers; [
+      fbrs
+      stephen-huan
+    ];
+    platforms = lib.platforms.all;
   };
 }

pkgs/by-name/ip/ipaexfont/package.nix

@@ -21,7 +21,7 @@ stdenvNoCC.mkDerivation {
     runHook postInstall
   '';
 
-  meta = with lib; {
+  meta = {
     description = "Japanese font package with Mincho and Gothic fonts";
     longDescription = ''
       IPAex font is a Japanese font developed by the Information-technology
@@ -31,7 +31,7 @@ stdenvNoCC.mkDerivation {
       This is the successor to the IPA fonts.
     '';
     homepage = "https://moji.or.jp/ipafont/";
-    license = licenses.ipa;
-    maintainers = with maintainers; [ ];
+    license = lib.licenses.ipa;
+    maintainers = with lib.maintainers; [ stephen-huan ];
   };
 }

pkgs/by-name/of/offlineimap/package.nix

@@ -87,11 +87,11 @@ python3.pkgs.buildPythonApplication rec {
 
   passthru.tests.version = testers.testVersion { package = offlineimap; };
 
-  meta = with lib; {
+  meta = {
     description = "Synchronize emails between two repositories, so that you can read the same mailbox from multiple computers";
     homepage = "http://offlineimap.org";
-    license = licenses.gpl2Plus;
-    maintainers = [ ];
+    license = lib.licenses.gpl2Plus;
+    maintainers = with lib.maintainers; [ stephen-huan ];
     mainProgram = "offlineimap";
   };
 }

pkgs/development/python-modules/mathlibtools/default.nix

@@ -1,54 +0,0 @@
-{
-  lib,
-  atomicwrites,
-  buildPythonPackage,
-  click,
-  fetchPypi,
-  gitpython,
-  networkx,
-  pydot,
-  pygithub,
-  pythonOlder,
-  pyyaml,
-  toml,
-  tqdm,
-}:
-
-buildPythonPackage rec {
-  pname = "mathlibtools";
-  version = "1.3.2";
-  format = "setuptools";
-
-  disabled = pythonOlder "3.6";
-
-  src = fetchPypi {
-    inherit pname version;
-    hash = "sha256-mkn0y3NV/acnkqVzi8xd+Sex4QLvxxmt++FtsZmgrGs=";
-  };
-
-  propagatedBuildInputs = [
-    atomicwrites
-    click
-    gitpython
-    networkx
-    pydot
-    pygithub
-    pyyaml
-    toml
-    tqdm
-  ];
-
-  # Requires internet access
-  doCheck = false;
-
-  pythonImportsCheck = [ "mathlibtools" ];
-
-  meta = with lib; {
-    description = "Supporting tool for Lean's mathlib";
-    mainProgram = "leanproject";
-    homepage = "https://github.com/leanprover-community/mathlib-tools";
-    changelog = "https://github.com/leanprover-community/mathlib-tools/raw/v${version}/CHANGELOG.md";
-    license = licenses.asl20;
-    maintainers = with maintainers; [ ];
-  };
-}

pkgs/development/python-modules/shippai/default.nix

@@ -1,24 +0,0 @@
-{
-  lib,
-  buildPythonPackage,
-  fetchPypi,
-}:
-
-buildPythonPackage rec {
-  pname = "shippai";
-  # Please make sure that vdirsyncer still builds if you update this package.
-  version = "0.3.2";
-  format = "setuptools";
-
-  src = fetchPypi {
-    inherit pname version;
-    sha256 = "0r6iwvmay8ygn2m15pyjrk9am4mfpk7rkf0lcbcb15pnabixlyzj";
-  };
-
-  meta = with lib; {
-    description = "Use Rust failures as Python exceptions";
-    homepage = "https://github.com/untitaker/shippai";
-    license = licenses.mit;
-    maintainers = with maintainers; [ ];
-  };
-}

pkgs/development/python-modules/vdirsyncer/default.nix

@@ -80,12 +80,12 @@ buildPythonPackage rec {
 
   passthru.tests.version = testers.testVersion { package = vdirsyncer; };
 
-  meta = with lib; {
+  meta = {
     description = "Synchronize calendars and contacts";
     homepage = "https://github.com/pimutils/vdirsyncer";
     changelog = "https://github.com/pimutils/vdirsyncer/blob/v${version}/CHANGELOG.rst";
-    license = licenses.bsd3;
-    maintainers = [ ];
+    license = lib.licenses.bsd3;
+    maintainers = with lib.maintainers; [ stephen-huan ];
     mainProgram = "vdirsyncer";
   };
 }

pkgs/top-level/aliases.nix

@@ -1279,6 +1279,7 @@ mapAliases {
   mathematica9 = throw "mathematica9 has been removed as it was obsolete, broken, and depended on OpenCV 2"; # Added 2024-08-20
   mathematica10 = throw "mathematica10 has been removed as it was obsolete, broken, and depended on OpenCV 2"; # Added 2024-08-20
   mathematica11 = throw "mathematica11 has been removed as it was obsolete, broken, and depended on OpenCV 2"; # Added 2024-08-20
+  mathlibtools = throw "mathlibtools has been removed as it was archived upstream in 2023"; # Added 2025-07-09
   matomo_5 = matomo; # Added 2024-12-12
   matomo-beta = throw "matomo-beta has been removed as it mostly just pointed to the latest matomo release, use `matomo.overrideAttrs` to access a specific beta version instead"; # Added 2025-01-15
   matrique = throw "'matrique' has been renamed to/replaced by 'spectral'"; # Converted to throw 2024-10-17

pkgs/top-level/all-packages.nix

@@ -15298,7 +15298,6 @@ with pkgs;
   isabelle-components = recurseIntoAttrs (callPackage ../by-name/is/isabelle/components { });
 
   lean3 = lean;
-  mathlibtools = with python3Packages; toPythonApplication mathlibtools;
 
   leo2 = callPackage ../applications/science/logic/leo2 {
     inherit (ocaml-ng.ocamlPackages_4_14_unsafe_string) ocaml camlp4;

pkgs/top-level/python-aliases.nix

@@ -422,6 +422,7 @@ mapAliases ({
   mapbox = throw "mapbox has been removed because the upstream repository was archived in 2022"; # Added 2024-10-04
   marshmallow-enum = throw "marshmallow-enum has been removed because it was archived in 2022 and had no maintainer"; # added 2024-05-10
   markerlib = throw "markerlib has been removed because it's abandoned since 2013"; # added 2023-05-19
+  mathlibtools = throw "mathlibtools has been removed because the upstream repository was archived in 2023"; # added 2025-07-09
   matrix-api-async = throw "matrix-api-async has been removed as it is an old wrapper and no longer in use"; # added 2025-01-01
   memory_profiler = memory-profiler; # added 2023-10-09
   mir_eval = mir-eval; # added 2024-01-07
@@ -735,6 +736,7 @@ mapAliases ({
   setuptoolsCheckHook = throw "The setuptoolsCheckHook has been removed, since the test command has been removed in setuptools 72.0."; # added 2024-08-06
   setuptoolsTrial = setuptools-trial; # added 2023-11-11
   sharkiqpy = sharkiq; # added 2022-05-21
+  shippai = throw "shippai has been removed because the upstream repository was archived in 2023"; # added 2025-07-09
   shouldbe = throw "shouldbe was removed, because it was disabled on all python version since 3.8 and last updated in 2019."; # added 2024-05-12
   sip_4 = sip4; # added 2024-01-07
   slackclient = slack-sdk; # added 2024-06-27

pkgs/top-level/python-packages.nix

@@ -8905,8 +8905,6 @@ self: super: with self; {
 
   materialyoucolor = callPackage ../development/python-modules/materialyoucolor { };
 
-  mathlibtools = callPackage ../development/python-modules/mathlibtools { };
-
   mathutils = callPackage ../development/python-modules/mathutils { };
 
   matlink-gpapi = callPackage ../development/python-modules/matlink-gpapi { };
@@ -16386,8 +16384,6 @@ self: super: with self; {
 
   shiny = callPackage ../development/python-modules/shiny { };
 
-  shippai = callPackage ../development/python-modules/shippai { };
-
   shippinglabel = callPackage ../development/python-modules/shippinglabel { };
 
   shiv = callPackage ../development/python-modules/shiv { };