max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: update LeanInk

Browse source 
Resolves leanprover/LeanInk#20
This commit is contained in:
Sebastian Ullrich 2022-06-23 11:32:05 +02:00
parent 108bc4c27f
commit 1712d0fee3
2 changed files with 8 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
doc/flake.lock generated
View file

@ -85,11 +85,11 @@
"leanInk": {
"flake": false,
"locked": {
"lastModified": 1649941279,
"narHash": "sha256-buqWjBvCDuuLo3Ijlw3r1yX6AL/HcM4ttskj/u2AhhE=",
"lastModified": 1655643380,
"narHash": "sha256-sVc2LNQ0/D2DsuRGWfsP/sVsi//jTsoWMVwTeYwS/wQ=",
"owner": "leanprover",
"repo": "LeanInk",
"rev": "ad9f1b2d518852cd25063d590a7fbea98e047471",
"rev": "0a160d91458c1873937449a7c78d25b34b8686df",
"type": "github"
},
"original": {

6
doc/flake.nix
View file

@ -60,8 +60,12 @@
dontInstall = true;
};
leanInk = (buildLeanPackage {
name = "LeanInk";
name = "Main";
src = inputs.leanInk;
deps = [ (buildLeanPackage {
name = "LeanInk";
src = inputs.leanInk;
}) ];
executableName = "leanInk";
linkFlags = ["-rdynamic"];
}).executable;