Home
FreeBSD
Search
Configure Global Search
Log In
Paths
Table of Contents
t
Hide Panel
f
Keyboard Reference
?
Diffusion
FreeBSD ports repository
rP553737
math/lean: Update 3.22.0 -> 3.23.0
rP553737
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.22.0 -> 3.23.0
Reported by: portscout
Details
Provenance
yuri
Authored on
Parents
rP553736: deskutils/gnome-contacts: add missing dependency
Branches
Unknown
Tags
Unknown
Event Timeline
yuri
committed
rP553737: math/lean: Update 3.22.0 -> 3.23.0
.
Oct 31 2020, 7:27 AM
2020-10-31 07:27:06 (UTC+0)