blob: f5c6393b3859636a2baf9b061bc2d4b3de37a045 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
{
lib,
buildLakePackage,
fetchFromGitHub,
batteries,
}:
buildLakePackage {
pname = "lean4-aesop";
# nixpkgs-update: no auto update
version = "4.30.0";
src = fetchFromGitHub {
owner = "leanprover-community";
repo = "aesop";
tag = "v4.30.0";
hash = "sha256-7PhQVMdiYImuzRYdf0Kgw3JYS4nBLfILXxyhFH8Zag0=";
};
leanPackageName = "aesop";
leanDeps = [ batteries ];
meta = {
description = "White-box automation for Lean 4";
homepage = "https://github.com/leanprover-community/aesop";
license = lib.licenses.asl20;
maintainers = with lib.maintainers; [ nadja-y ];
};
}
|
