Commit 2904fdf8 authored by Mario Rodas's avatar Mario Rodas
Browse files

python310Packages.mathlibtools: 1.3.0 -> 1.3.1 

https://github.com/leanprover-community/mathlib-tools/releases/tag/v1.3.1
parent f09718c2

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

+2 −2
Original line number Diff line number Diff line
@@ -15,14 +15,14 @@ 


buildPythonPackage rec {

  pname = "mathlibtools";

  version = "1.3.0";

  version = "1.3.1";

  format = "setuptools";



  disabled = pythonOlder "3.6";



  src = fetchPypi {

    inherit pname version;

    hash = "sha256-iBYSh5Y8MYqzjeNt70eURr40SSKh0x41plemeaaOfy8=";

    hash = "sha256-HwtmrDGInCI5Hl+qhl+7hOBJ3Ux0g8IjoAVa4iAccl8=";

  };



  propagatedBuildInputs = [