Yuri Victorovich e2afbb4b7a math/lean4: Broken on i386 ... Reported by: fallout		2024-01-19 06:55:31 -07:00
..
files
distinfo	math/lean4: Remove std library: it will be in its own port	2024-01-16 02:45:00 -08:00
Makefile	math/lean4: Broken on i386	2024-01-19 06:55:31 -07:00
pkg-descr
pkg-message
pkg-plist	math/lean4: Remove std library: it will be in its own port	2024-01-16 02:45:00 -08:00