From b61a7c53c6676b5af617e3b335514b33fa0d95cd Mon Sep 17 00:00:00 2001
From: Julian Berman <Julian@GrayVines.com>
Date: Mon, 27 Apr 2026 07:17:31 -0400
Subject: [PATCH] Bump rpylean to v2026.4.3

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
---
 checkers/rpylean.yaml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/checkers/rpylean.yaml b/checkers/rpylean.yaml
index cd25ea9..0079f21 100644
--- a/checkers/rpylean.yaml
+++ b/checkers/rpylean.yaml
@@ -1,9 +1,9 @@
-version: "v2026.4.1"
+version: "v2026.4.3"
 description: |
   **rpylean** - A Lean type checker written in (R)Python.
 url: https://github.com/Julian/rpylean
 ref: main
-rev: 620889dedc0746ee859275445aacb2485830a5df
+rev: 5108c1bf78365e0765a34a3fe316270a688f3cc0
 build: |
   git clone --filter=blob:none https://github.com/pypy/pypy
   cat > .env <<__END__