diff options
author | Yuri Victorovich <yuri@FreeBSD.org> | 2024-04-28 18:00:55 +0000 |
---|---|---|
committer | Yuri Victorovich <yuri@FreeBSD.org> | 2024-04-28 18:00:55 +0000 |
commit | 72124020da368b6e2364d5208d11a8393e3fc9fe (patch) | |
tree | fc62db07e92beba35627403c70937a77e7d83190 /devel/kf5-kdbusaddons/(public-mirror) | |
parent | 7e07f80bfbb6fd992cb73613ef547a7e97ba75a8 (diff) | |
download | ports-main.tar.gz ports-main.zip |
It was usable with math/lean, but now math/lean4 has superseded
math/lean and should be used instead.
Diffstat (limited to 'devel/kf5-kdbusaddons/(public-mirror)')
0 files changed, 0 insertions, 0 deletions