Home
FreeBSD
Search
Configure Global Search
Log In
Paths
Table of Contents
t
Hide Panel
f
Keyboard Reference
?
Diffusion
FreeBSD ports repository
rP491029
math/lean: Update 3.4.1 -> 3.4.2
rP491029
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.4.1 -> 3.4.2
Reported by: portscout
Details
Provenance
yuri
Authored on
Parents
rP491028: math/py-cvxpy: Update 1.0.12 -> 1.0.13
Branches
Unknown
Tags
Unknown
Event Timeline
yuri
committed
rP491029: math/lean: Update 3.4.1 -> 3.4.2
.
Jan 23 2019, 9:59 AM
2019-01-23 09:59:54 (UTC+0)