Home
FreeBSD
Search
Configure Global Search
Log In
Paths
Table of Contents
t
Hide Panel
f
Keyboard Reference
?
Diffusion
FreeBSD ports repository
rP563162
math/lean: Update 3.25.0 -> 3.26.0
rP563162
Actions
Edit Commit
Download Raw Diff
Edit Related Objects...
Edit Revisions
Subscribe
Mute Notifications
Flag For Later
Award Token
Tags
None
Referenced Files
None
Subscribers
None
Description
math/lean: Update 3.25.0 -> 3.26.0
Reported by: portscout
Details
Provenance
yuri
Authored on
Parents
rP563161: Update to version 0.5.0
Branches
Unknown
Tags
Unknown
Event Timeline
yuri
committed
rP563162: math/lean: Update 3.25.0 -> 3.26.0
.
Jan 28 2021, 10:41 PM
2021-01-28 22:41:14 (UTC+0)