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