Unverified Commit df229a1e authored by Stephen Huan's avatar Stephen Huan
Browse files

python3Packages.mathlibtools: remove

Upstream repository has been archived since 2023.
parent 65bd9b6b
Loading
Loading
Loading
Loading
+0 −54
Original line number Diff line number Diff line
{
  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; [ ];
  };
}
+1 −0
Original line number Diff line number Diff line
@@ -1244,6 +1244,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
+0 −1
Original line number Diff line number Diff line
@@ -15766,7 +15766,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;
+1 −0
Original line number Diff line number Diff line
@@ -415,6 +415,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
+0 −2
Original line number Diff line number Diff line
@@ -8752,8 +8752,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 { };