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

abella: migrate to by-name, refactor (#536397)

Browse Source
This commit is contained in:
Matthieu Coudron
2026-06-29 00:27:15 +00:00
committed by GitHub
parent 68aeefcf33 558c286992
commit 2df5d1313a
2 changed files with 2 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/applications/science/logic/abella/default.nix → pkgs/by-name/ab/abella/package.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
-4
View File
@@ -10513,10 +10513,6 @@ with pkgs;
### SCIENCE/LOGIC
abella = callPackage ../applications/science/logic/abella {
ocamlPackages = ocaml-ng.ocamlPackages_4_12;
};
inherit
(callPackage ./rocq-packages.nix {
inherit (ocaml-ng)