Commit e13386b7 authored by R. RyanTM's avatar R. RyanTM
Browse files

eprover: 2.6 -> 3.0

parent 2387a37f

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 ];