Yuri Victorovich ba7784a72c math/lean: Broken on aarch64 ... Reported by: fallout		2022-10-02 15:33:03 -07:00
..
distinfo	math/lean: Update 3.47.0 -> 3.48.0; Add options TCMALLOC, THREADS	2022-08-31 21:12:35 -07:00
Makefile	math/lean: Broken on aarch64	2022-10-02 15:33:03 -07:00
pkg-descr	Remove WWW entries moved into port Makefiles	2022-09-07 23:58:51 +02:00
pkg-message	math/lean: Add to pkg-message	2022-09-06 09:06:07 -07:00
pkg-plist	math/lean: Fix performance problem	2022-09-05 10:40:17 -07:00