Commit 9664aea5 authored by R. RyanTM's avatar R. RyanTM
Browse files

eprover: 3.0.03 -> 3.1

parent 6b39739b

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