diff options
author | Ben Darwin <bcdarwin@gmail.com> | 2024-02-03 14:42:33 -0500 |
---|---|---|
committer | Ben Darwin <bcdarwin@gmail.com> | 2024-02-03 14:58:27 -0500 |
commit | d6d8fd86dd7a9487ebc04778d778327dbbf23807 (patch) | |
tree | 9ea4a7877d0ca7f648d235836b915c325791e705 /pkgs/applications/science/logic | |
parent | 9a8d449c0c3c41fdd0473248f6c91ad87bb964af (diff) |
abella: update url, refactor to finalAttrs style
Diffstat (limited to 'pkgs/applications/science/logic')
-rw-r--r-- | pkgs/applications/science/logic/abella/default.nix | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/pkgs/applications/science/logic/abella/default.nix b/pkgs/applications/science/logic/abella/default.nix index 7e4cfad72ed1e..4483b8ad4756a 100644 --- a/pkgs/applications/science/logic/abella/default.nix +++ b/pkgs/applications/science/logic/abella/default.nix @@ -1,11 +1,11 @@ { lib, stdenv, fetchurl, rsync, ocamlPackages }: -stdenv.mkDerivation rec { +stdenv.mkDerivation (finalAttrs: { pname = "abella"; version = "2.0.8"; src = fetchurl { - url = "http://abella-prover.org/distributions/${pname}-${version}.tar.gz"; + url = "http://abella-prover.org/distributions/abella-${finalAttrs.version}.tar.gz"; sha256 = "sha256-80b/RUpE3KRY0Qu8eeTxAbk6mwGG6jVTPOP0qFjyj2M="; }; @@ -33,9 +33,9 @@ stdenv.mkDerivation rec { of programming languages and other logical systems which manipulate objects with binding. ''; - homepage = "http://abella-prover.org/"; + homepage = "https://abella-prover.org"; license = lib.licenses.gpl3; maintainers = with lib.maintainers; [ bcdarwin ciil ]; platforms = lib.platforms.unix; }; -} +}) |