diff options
Diffstat (limited to 'nixpkgs/pkgs/applications/science/logic/aiger/default.nix')
-rw-r--r-- | nixpkgs/pkgs/applications/science/logic/aiger/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/nixpkgs/pkgs/applications/science/logic/aiger/default.nix b/nixpkgs/pkgs/applications/science/logic/aiger/default.nix index 03524fc6b222..10d94e2bb8c7 100644 --- a/nixpkgs/pkgs/applications/science/logic/aiger/default.nix +++ b/nixpkgs/pkgs/applications/science/logic/aiger/default.nix @@ -1,11 +1,11 @@ { stdenv, fetchurl, picosat }: stdenv.mkDerivation rec { - name = "aiger-${version}"; + pname = "aiger"; version = "1.9.9"; src = fetchurl { - url = "http://fmv.jku.at/aiger/${name}.tar.gz"; + url = "http://fmv.jku.at/aiger/${pname}-${version}.tar.gz"; sha256 = "1ish0dw0nf9gyghxsdhpy1jjiy5wp54c993swp85xp7m6vdx6l0y"; }; |