diff options
| author | Max Brazhnikov <makc@FreeBSD.org> | 2025-06-24 23:35:59 +0300 |
|---|---|---|
| committer | Max Brazhnikov <makc@FreeBSD.org> | 2025-06-25 00:02:33 +0300 |
| commit | 0e7512bfba46d777b94777b80e179496cf506d36 (patch) | |
| tree | c77418a1af80f290e10690cc64b0a2ddbd35dff7 /math/lean4/files/patch-src_runtime_io.cpp | |
| parent | lang/silq: update to current development version (diff) | |
KDE: Update Plasma to 6.4.1
Announcements: https://kde.org/announcements/plasma/6/6.4.1/
Diffstat (limited to 'math/lean4/files/patch-src_runtime_io.cpp')
0 files changed, 0 insertions, 0 deletions