diff options
| author | Erlend Hamberg <erlend@hamberg.no> | 2025-11-17 12:32:28 +0100 |
|---|---|---|
| committer | Erlend Hamberg <erlend@hamberg.no> | 2025-11-17 12:32:28 +0100 |
| commit | 2e500cfd73494611ef644ba12a68c656614a4694 (patch) | |
| tree | 1537a6c6296cf01c5d8c8e8200adbcdc92a3b4a7 /pkgs/development/python-modules/python-sql | |
| parent | 2831effd27af17af67d1e64d2fb5ef94cec5fff1 (diff) | |
lean4: 4.24.0 -> 4.25.0
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions