BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

abella: update url, refactor to finalAttrs style

Browse source
This commit is contained in:
Ben Darwin 2024-02-03 14:42:33 -05:00
parent 9a8d449c0c
commit d6d8fd86dd
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
pkgs/applications/science/logic/abella/default.nix
View file

@ -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;
};
}
})