aboutsummaryrefslogtreecommitdiff
path: root/databases/py-aiosqlite
diff options
context:
space:
mode:
authorWen Heping <wen@FreeBSD.org>2025-08-22 02:47:34 +0000
committerWen Heping <wen@FreeBSD.org>2025-08-22 02:52:50 +0000
commit65781edef5d9a9526707fcf4d6be747b5791e510 (patch)
tree8be3374b98e483c2019b6d5f1c72fc7a26b18745 /databases/py-aiosqlite
parent8b24a3215ad37092c7bd87a0d0606b550837eb8e (diff)
math/lean4: Update to 4.22.0HEADmain
PR: 288987 Approved by: yuri@(maintainer)
Diffstat (limited to 'databases/py-aiosqlite')
0 files changed, 0 insertions, 0 deletions