Yuri Victorovich 1fde20b526 math/lean4: update 4.10.0 → 4.11.0		2024-09-02 00:54:45 -07:00
..
files
distinfo	math/lean4: update 4.10.0 → 4.11.0	2024-09-02 00:54:45 -07:00
Makefile	math/lean4: update 4.10.0 → 4.11.0	2024-09-02 00:54:45 -07:00
pkg-descr
pkg-message
pkg-plist	math/lean4: update 4.10.0 → 4.11.0	2024-09-02 00:54:45 -07:00