mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-19 00:13:33 +00:00
Code Issues Releases Activity
c88244ec64
freebsd-ports/math/lean4
History
wen heping 8a1be59cb5 math/lean4: Remove pkg-message since both recommendations there aren't relevant any more
2024-09-25 01:33:27 -07:00
..
files
distinfo math/lean4: update 4.10.0 → 4.11.0 2024-09-02 00:54:45 -07:00
Makefile math/lean4: Remove pkg-message since both recommendations there aren't relevant any more 2024-09-25 01:33:27 -07:00
pkg-descr
pkg-plist math/lean4: update 4.10.0 → 4.11.0 2024-09-02 00:54:45 -07:00