gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

abella: move all args out of top-level, refactor

Browse Source 
Assisted-by: Cursor Composer 2.5
This commit is contained in:
Guy Chronister
2026-06-28 13:12:57 -05:00
parent 061964a2fc
commit d1293cadd9
2 changed files with 3 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/applications/science/logic/abella/default.nix
+2 -1
View File
@@ -13,10 +13,11 @@ stdenv.mkDerivation (finalAttrs: {
src = fetchurl {
url = "http://abella-prover.org/distributions/abella-${finalAttrs.version}.tar.gz";
sha256 = "sha256-80b/RUpE3KRY0Qu8eeTxAbk6mwGG6jVTPOP0qFjyj2M=";
hash = "sha256-80b/RUpE3KRY0Qu8eeTxAbk6mwGG6jVTPOP0qFjyj2M=";
};
strictDeps = true;
__structuredAttrs = true;
nativeBuildInputs = [
rsync
pkgs/top-level/all-packages.nix
+1 -3
View File
@@ -10513,9 +10513,7 @@ with pkgs;
### SCIENCE/LOGIC
abella = callPackage ../applications/science/logic/abella {
ocamlPackages = ocaml-ng.ocamlPackages_4_12;
};
abella = callPackage ../applications/science/logic/abella { };
inherit
(callPackage ./rocq-packages.nix {