diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2021-11-13 18:56:57 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2021-11-13 21:59:24 +0000 |
| commit | 7eb99dcefbc4322dd30691d53e6affb93c5832a1 (patch) | |
| tree | bd93112d1cd8e282b64a92137d4373757b315449 /devel | |
| parent | 05f08f55dc980fd69932b205b8d5bf5bc95e60a5 (diff) | |
| download | ports-7eb99dcefbc4322dd30691d53e6affb93c5832a1.tar.gz ports-7eb99dcefbc4322dd30691d53e6affb93c5832a1.zip | |
math/lean: Update 3.35.0 -> 3.35.1
Reported by: portscout
Diffstat (limited to 'devel')
0 files changed, 0 insertions, 0 deletions