HomeFreeBSD

math/lean: Update 3.22.0 -> 3.23.0

Description

math/lean: Update 3.22.0 -> 3.23.0

Reported by: portscout

Details

Provenance
yuriAuthored on
Parents
rP553736: deskutils/gnome-contacts: add missing dependency
Branches
Unknown
Tags
Unknown