Yuri Victorovich 7943f0f0a2 math/lean: Update 3.4.2 -> 3.17.1 ...

The original Microsoft's account 'leanprover' is now archived, and the community account 'leanprover-community' carries the project on.

Also:
* remove tests from build
* add 'test' target

2020-07-21 22:40:25 +00:00

..

files

math/lean: Update 3.4.2 -> 3.17.1

2020-07-21 22:40:25 +00:00

distinfo

math/lean: Update 3.4.2 -> 3.17.1

2020-07-21 22:40:25 +00:00

Makefile

math/lean: Update 3.4.2 -> 3.17.1

2020-07-21 22:40:25 +00:00

pkg-descr

math/lean: Update 3.4.2 -> 3.17.1

2020-07-21 22:40:25 +00:00

pkg-plist

math/lean: Update 3.4.2 -> 3.17.1

2020-07-21 22:40:25 +00:00