ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-10-06 20:48:32 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #286135 from bcdarwin/abella-minor-refactor

Browse Source 
abella: update url, refactor to finalAttrs style
This commit is contained in:
Nick Cao 2024-02-03 16:57:13 -05:00 committed by GitHub
commit 195dc9df6f
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
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;
};
}
})