Unverified Commit 91c993af authored by 7c6f434c's avatar 7c6f434c Committed by GitHub
Browse files

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

eprover: 2.6 -> 3.0
parents 060c4ad3 e13386b7

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 = "2.6";

  version = "3.0";



  src = fetchurl {

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

    sha256 = "sha256-qh896qIpFR5g1gdWAwGkbNJLBqUQCeCpuoYHHkDXPt0=";

    sha256 = "sha256-RJ2uc/GIWU/fDJijSzYS8GdL7zUkeExOLWXtTbi8ZLk=";

  };



  buildInputs = [ which ];