aboutsummaryrefslogtreecommitdiff
path: root/math/lean
Commit message (Expand)AuthorAgeFilesLines
* math/lean: Update 3.50.3 → 3.51.0Yuri Victorovich2023-05-192-4/+4
* math/lean: disable TCMALLOC on powerpc to fix SIGILL during buildPiotr Kubaj2023-05-091-0/+1
* math/lean: Update 3.50.2 -> 3.50.3Yuri Victorovich2022-12-282-4/+4
* math/lean: Update 3.50.1 -> 3.50.2Yuri Victorovich2022-12-252-4/+4
* math/lean: Update 3.49.1 -> 3.50.1Yuri Victorovich2022-12-232-4/+4
* math/lean: Update 3.49.0 -> 3.49.1Yuri Victorovich2022-11-202-6/+6
* math/lean: Update 3.48.0 -> 3.49.0Yuri Victorovich2022-11-142-7/+6
* math/lean: Broken on aarch64Yuri Victorovich2022-10-021-0/+2
* Remove WWW entries moved into port MakefilesStefan Eßer2022-09-071-2/+0
* Add WWW entries to port MakefilesStefan Eßer2022-09-071-0/+1
* math/lean: Add to pkg-messageYuri Victorovich2022-09-061-6/+12
* math/lean: Fix performance problemYuri Victorovich2022-09-052-0/+178
* math/lean: Update 3.47.0 -> 3.48.0; Add options TCMALLOC, THREADSYuri Victorovich2022-09-012-4/+18
* math/lean: Update 3.46.0 -> 3.47.0Yuri Victorovich2022-08-282-4/+4
* math/lean: Update 3.45.0 -> 3.46.0Yuri Victorovich2022-08-092-4/+4
* math/lean: Update 3.44.1 -> 3.45.0Yuri Victorovich2022-07-152-4/+4
* math/lean: Update 3.44.0 -> 3.44.1Yuri Victorovich2022-06-292-4/+4
* math/lean: Update 3.43.0 -> 3.44.0Yuri Victorovich2022-06-262-11/+6
* math/lean: Update 3.42.1 -> 3.43.0Yuri Victorovich2022-05-182-4/+4
* math/lean: Update 3.42.0 -> 3.42.1Yuri Victorovich2022-03-272-4/+4
* math/lean: Update 3.41.0 -> 3.42.0Yuri Victorovich2022-03-192-4/+4
* math/lean: Update 3.40.0 -> 3.41.0Yuri Victorovich2022-03-123-4/+7
* math/lean: Update 3.39.2 -> 3.40.0Yuri Victorovich2022-02-232-4/+4
* math/lean: Update 3.39.1 -> 3.39.2Yuri Victorovich2022-02-182-4/+4
* math/lean: Update 3.35.1 -> 3.39.1Yuri Victorovich2022-02-093-4/+5
* math/lean: Update 3.35.0 -> 3.35.1Yuri Victorovich2021-11-132-9/+4
* math/lean: Update 3.33.0 -> 3.35.0Yuri Victorovich2021-10-315-74/+10
* math/lean: Update 3.32.1 -> 3.33.0Yuri Victorovich2021-09-183-4/+7
* math/lean: Update 3.32.0 -> 3.32.1Yuri Victorovich2021-08-152-4/+4
* math/lean: Update 3.31.0 -> 3.32.0Yuri Victorovich2021-08-112-4/+4
* math/lean: Update 3.30.0 -> 3.31.0Yuri Victorovich2021-06-303-5/+4
* math/lean: Update 3.29.0 -> 3.30.0Yuri Victorovich2021-05-062-4/+4
* math/lean: Update 3.28.0 -> 3.29.0Yuri Victorovich2021-04-202-5/+4
* One more small cleanup, forgotten yesterday.Mathieu Arnold2021-04-071-1/+0
* Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-061-1/+0
* math/lean: Add pkg-message with warning about /proc being required to be mountedYuri Victorovich2021-03-282-0/+17
* math/lean: Update 3.27.0 -> 3.28.0Yuri Victorovich2021-03-162-4/+4
* math/lean: Update 3.26.0 -> 3.27.0Yuri Victorovich2021-02-263-4/+5
* math/lean: Update 3.25.0 -> 3.26.0Yuri Victorovich2021-01-282-4/+4
* math/lean: Update 3.24.0 -> 3.25.0Yuri Victorovich2021-01-232-4/+4
* math/lean: Update 3.23.0 -> 3.24.0Yuri Victorovich2021-01-052-5/+4
* math/lean: Update 3.22.0 -> 3.23.0Yuri Victorovich2020-10-312-4/+4
* math/lean: Update 3.21.0 -> 3.22.0Yuri Victorovich2020-10-283-5/+4
* math/lean: Update 3.20.0 -> 3.21.0Yuri Victorovich2020-10-122-4/+4
* math/lean: Update 3.19.0 -> 3.20.0Yuri Victorovich2020-09-103-5/+6
* math/lean: Update 3.18.4 -> 3.19.0Yuri Victorovich2020-08-272-4/+4
* math/lean: Update 3.18.3 -> 3.18.4Yuri Victorovich2020-08-032-4/+4
* math/lean: Update 3.18.2 -> 3.18.3Yuri Victorovich2020-07-302-4/+4
* math/lean: Update 3.17.1 -> 3.18.2Yuri Victorovich2020-07-302-5/+4
* math/lean: Update 3.4.2 -> 3.17.1Yuri Victorovich2020-07-215-298/+81
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-22 09:01:07 +0000