diff options
| author | Felix Buehler <account@buehler.rocks> | 2021-07-14 17:10:11 +0200 |
|---|---|---|
| committer | Felix Buehler <account@buehler.rocks> | 2021-07-16 00:17:12 +0200 |
| commit | 1e9baed56b85263104f21170a1d2be315876a101 (patch) | |
| tree | 903ccb3615c2b22ae30f5299af147e497d1b8bbf /pkgs/tools/misc/gringo/default.nix | |
| parent | b141a58ff28c1b14fea9292dbcfe2a5af2da923c (diff) | |
| download | nixpkgs-1e9baed56b85263104f21170a1d2be315876a101.tar nixpkgs-1e9baed56b85263104f21170a1d2be315876a101.tar.gz nixpkgs-1e9baed56b85263104f21170a1d2be315876a101.tar.bz2 nixpkgs-1e9baed56b85263104f21170a1d2be315876a101.tar.lz nixpkgs-1e9baed56b85263104f21170a1d2be315876a101.tar.xz nixpkgs-1e9baed56b85263104f21170a1d2be315876a101.tar.zst nixpkgs-1e9baed56b85263104f21170a1d2be315876a101.zip | |
various: cleanup of 'inherit version;'
Diffstat (limited to 'pkgs/tools/misc/gringo/default.nix')
| -rw-r--r-- | pkgs/tools/misc/gringo/default.nix | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/pkgs/tools/misc/gringo/default.nix b/pkgs/tools/misc/gringo/default.nix index f08bad03916..87902de0cb0 100644 --- a/pkgs/tools/misc/gringo/default.nix +++ b/pkgs/tools/misc/gringo/default.nix @@ -3,13 +3,9 @@ libcxx }: -let - version = "4.5.4"; -in - -stdenv.mkDerivation { +stdenv.mkDerivation rec { pname = "gringo"; - inherit version; + version = "4.5.4"; src = fetchurl { url = "mirror://sourceforge/project/potassco/gringo/${version}/gringo-${version}-source.tar.gz"; |