Unverified Commit 87d41cc7 authored by 7c6f434c's avatar 7c6f434c Committed by GitHub
Browse files

Merge pull request #308403 from r-ryantm/auto-update/eprover 

eprover: 3.0.03 -> 3.1
parents b8a95810 9664aea5

pkgs/applications/science/logic/eprover/default.nix

+2 −2
Original line number Diff line number Diff line
@@ -2,11 +2,11 @@ 


stdenv.mkDerivation rec {

  pname = "eprover";

  version = "3.0.03";

  version = "3.1";



  src = fetchurl {

    url = "https://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_${version}/E.tgz";

    hash = "sha256-cS5zUe2N9Kd9uzbNpeBtvLbgUN0c3N3tGcYczK3KsdQ=";

    hash = "sha256-+E2z7JAkiNXhZrWRXFbhI5f9NmB0Q4eixab4GlAFqYY=";

  };



  buildInputs = [ which ];