aiger: fix stupid incorrect download link

Signed-off-by: Austin Seipp <aseipp@pobox.com>
This commit is contained in:
Austin Seipp 2017-10-16 13:01:40 -05:00
parent 6838762997
commit cd52a3d53c

View file

@ -5,7 +5,7 @@ stdenv.mkDerivation rec {
version = "1.9.9";
src = fetchurl {
url = "http://fmv.jku/aiger/${name}.tar.gz";
url = "http://fmv.jku.at/aiger/${name}.tar.gz";
sha256 = "1ish0dw0nf9gyghxsdhpy1jjiy5wp54c993swp85xp7m6vdx6l0y";
};