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

chore: Nix: update lean4-mode

Browse source
This commit is contained in:
Sebastian Ullrich 2022-10-23 17:59:32 +02:00
parent b3ba78aade
commit 89fd86cb3c
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
flake.lock generated
View file

@ -33,11 +33,11 @@
"lean4-mode": {
"flake": false,
"locked": {
"lastModified": 1656864638,
"narHash": "sha256-Th+IOKGspSZEXJZMnoP9GqsuVZLt137JfgZg7Q0sHxQ=",
"lastModified": 1659020985,
"narHash": "sha256-+dRaXB7uvN/weSZiKcfSKWhcdJVNg9Vg8k0pJkDNjpc=",
"owner": "leanprover",
"repo": "lean4-mode",
"rev": "f23510741b3291d8f9797df9407b1e45d7f22b23",
"rev": "37d5c99b7b29c80ab78321edd6773200deb0bca6",
"type": "github"
},
"original": {