eprover: 3.0 -> 3.0.03
This commit is contained in:
parent
4e9c954290
commit
f32aee4e1b
|
@ -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 ];
|
||||
|
|
Loading…
Reference in New Issue
Block a user