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

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

eprover: 3.0 -> 3.0.03
parents 5e9d0ba5 f32aee4e

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

  version = "3.0.03";



  src = fetchurl {

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

    hash = "sha256-gBgDC+GH948JMsjzo/SOpWDzJXu0g58YX1VW28PeorI=";

    hash = "sha256-cS5zUe2N9Kd9uzbNpeBtvLbgUN0c3N3tGcYczK3KsdQ=";

  };



  buildInputs = [ which ];