diff options
| author | Austin Seipp <aseipp@pobox.com> | 2017-10-16 13:01:40 -0500 |
|---|---|---|
| committer | Austin Seipp <aseipp@pobox.com> | 2017-10-16 13:01:51 -0500 |
| commit | cd52a3d53cd9bd0d23975147c025f9f6b8a58c9f (patch) | |
| tree | ccea0da836456c08703028a343ffb0550a93c50f /pkgs/applications/science/logic/aiger | |
| parent | 6838762997c566e904bf448bef94dcb6f8b88b09 (diff) | |
| download | nixpkgs-cd52a3d53cd9bd0d23975147c025f9f6b8a58c9f.tar nixpkgs-cd52a3d53cd9bd0d23975147c025f9f6b8a58c9f.tar.gz nixpkgs-cd52a3d53cd9bd0d23975147c025f9f6b8a58c9f.tar.bz2 nixpkgs-cd52a3d53cd9bd0d23975147c025f9f6b8a58c9f.tar.lz nixpkgs-cd52a3d53cd9bd0d23975147c025f9f6b8a58c9f.tar.xz nixpkgs-cd52a3d53cd9bd0d23975147c025f9f6b8a58c9f.tar.zst nixpkgs-cd52a3d53cd9bd0d23975147c025f9f6b8a58c9f.zip | |
aiger: fix stupid incorrect download link
Signed-off-by: Austin Seipp <aseipp@pobox.com>
Diffstat (limited to 'pkgs/applications/science/logic/aiger')
| -rw-r--r-- | pkgs/applications/science/logic/aiger/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/aiger/default.nix b/pkgs/applications/science/logic/aiger/default.nix index 2b959c72d37..1a60c5e148c 100644 --- a/pkgs/applications/science/logic/aiger/default.nix +++ b/pkgs/applications/science/logic/aiger/default.nix @@ -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"; }; |