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__