freebsd-ports/math/lean
Yuri Victorovich fc32440b3d */*: Remove TCMALLOC_DESC because it is now available in Mk 2023-06-06 18:01:01 -07:00
..
Makefile */*: Remove TCMALLOC_DESC because it is now available in Mk 2023-06-06 18:01:01 -07:00
distinfo
pkg-descr
pkg-message
pkg-plist