~dannypsnl/violet

95e3662109e627a13a8e9f5837680200b9c63e61 — Lîm Tsú-thuàn 3 months ago 99c787b main
update toolchain

Signed-off-by: Lîm Tsú-thuàn <inbox@dannypsnl.me>
3 files changed, 15 insertions(+), 20 deletions(-)

M .gitignore
M lake-manifest.json
M lean-toolchain
M .gitignore => .gitignore +1 -0
@@ 1,3 1,4 @@
/build
/lake-packages/*
lakefile.olean
.lake/

M lake-manifest.json => lake-manifest.json +13 -19
@@ 1,20 1,14 @@
{"version": 6,
 "packagesDir": "lake-packages",
{"version": 7,
 "packagesDir": ".lake/packages",
 "packages":
 [{"git":
   {"url": "https://git.sr.ht/~dannypsnl/parsec-extra",
    "subDir?": null,
    "rev": "c8ac57143628b87fd418b04d3d1c59ceea978fd0",
    "opts": {},
    "name": "«parsec-extra»",
    "inputRev?": "main",
    "inherited": false}},
  {"git":
   {"url": "https://github.com/lurk-lab/LSpec",
    "subDir?": null,
    "rev": "3388be5a1d1390594a74ec469fd54a5d84ff6114",
    "opts": {},
    "name": "lspec",
    "inputRev?": "main",
    "inherited": false}}],
 "name": "violet"}
 [{"url": "https://git.sr.ht/~dannypsnl/parsec-extra",
   "type": "git",
   "subDir": null,
   "rev": "c8ac57143628b87fd418b04d3d1c59ceea978fd0",
   "name": "«parsec-extra»",
   "manifestFile": "lake-manifest.json",
   "inputRev": "main",
   "inherited": false,
   "configFile": "lakefile.lean"}],
 "name": "violet",
 "lakeDir": ".lake"}

M lean-toolchain => lean-toolchain +1 -1
@@ 1,1 1,1 @@
leanprover/lean4:v4.2.0
leanprover/lean4:v4.4.0