Piotr Kubaj b23f1453d4 math/lean: disable TCMALLOC on powerpc to fix SIGILL during build

2023-05-09 19:54:44 +00:00

..

distinfo

math/lean: Update 3.50.2 -> 3.50.3

2022-12-27 20:01:50 -08:00

Makefile

math/lean: disable TCMALLOC on powerpc to fix SIGILL during build

2023-05-09 19:54:44 +00:00

pkg-descr

…

pkg-message

…

pkg-plist

…