Yuri Victorovich ba7784a72c math/lean: Broken on aarch64 ...

Reported by:	fallout

2022-10-02 15:33:03 -07:00

..

distinfo

…

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

…