math/lean: Update 3.47.0 -> 3.48.0; Add options TCMALLOC, THREADS
Also fix minor non-FreeBSD compatible code.
Description
Description
Details
Details
- Provenance
yuri Authored on Sep 1 2022, 4:10 AM - Parents
- R11:542fb2297a9e: sysutils/dwatch-json: update to 1.2, restore maintainership
- Branches
- Unknown
- Tags