lean4-git: update PLIST

[Thomas Klausner (via pkgsrc-wip) <commit-notify%pkgsrc.org@localhost>]

Module Name:	pkgsrc-wip
Committed By:	Thomas Klausner <wiz%NetBSD.org@localhost>
Pushed By:	wiz
Date:		Thu Aug 27 22:39:50 2026 +0200
Changeset:	2db1bb11a97d00d7a9eecebb4fc5f30a001d4c9e

Modified Files:
	lean4-git/PLIST

Log Message:
lean4-git: update PLIST

To see a diff of this commit:
https://wip.pkgsrc.org/cgi-bin/gitweb.cgi?p=pkgsrc-wip.git;a=commitdiff;h=2db1bb11a97d00d7a9eecebb4fc5f30a001d4c9e

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

diffstat:
 lean4-git/PLIST | 7 +++++++
 1 file changed, 7 insertions(+)

diffs:
diff --git a/lean4-git/PLIST b/lean4-git/PLIST
index 602e24080a..b4b33b2d86 100644
--- a/lean4-git/PLIST
+++ b/lean4-git/PLIST
@@ -7012,6 +7012,12 @@ lib/lean/Lean/Elab/RecAppSyntax.ir.sig
 lib/lean/Lean/Elab/RecAppSyntax.olean
 lib/lean/Lean/Elab/RecAppSyntax.olean.private
 lib/lean/Lean/Elab/RecAppSyntax.olean.server
+lib/lean/Lean/Elab/Recall.ilean
+lib/lean/Lean/Elab/Recall.ir
+lib/lean/Lean/Elab/Recall.ir.sig
+lib/lean/Lean/Elab/Recall.olean
+lib/lean/Lean/Elab/Recall.olean.private
+lib/lean/Lean/Elab/Recall.olean.server
 lib/lean/Lean/Elab/RecommendedSpelling.ilean
 lib/lean/Lean/Elab/RecommendedSpelling.ir
 lib/lean/Lean/Elab/RecommendedSpelling.ir.sig
@@ -16206,6 +16212,7 @@ src/lean/Lean/Elab/Quotation.lean
 src/lean/Lean/Elab/Quotation/Precheck.lean
 src/lean/Lean/Elab/Quotation/Util.lean
 src/lean/Lean/Elab/RecAppSyntax.lean
+src/lean/Lean/Elab/Recall.lean
 src/lean/Lean/Elab/RecommendedSpelling.lean
 src/lean/Lean/Elab/SetOption.lean
 src/lean/Lean/Elab/StructInst.lean