Unverified Commit 5e6c9e1c authored by Ben Siraphob's avatar Ben Siraphob Committed by GitHub
Browse files

python3Packages.coq-tools: 0.0.36 -> 0.0.39 (#462648)

parents 673fc4a6 077d369a

pkgs/development/python-modules/coq-tools/default.nix

+2 −2
Original line number Diff line number Diff line
@@ -7,13 +7,13 @@ 


buildPythonPackage rec {

  pname = "coq-tools";

  version = "0.0.36";

  version = "0.0.39";

  pyproject = true;



  src = fetchPypi {

    pname = "coq_tools";

    inherit version;

    hash = "sha256-lZ469FZ19Cy+LdC4ymU4wVWe7ZtPSbYlgmym/ouQSwk=";

    hash = "sha256-MPgu5inr2CMOU3qlF9v8QtqhkPuP/uIQrJYyfmpZBxE=";

  };



  build-system = [ setuptools ];