CVSROOT: /cvs Module name: ports Changes by: [email protected] 2021/11/09 04:24:29
Modified files:
math/lean : Makefile distinfo
math/lean/patches: patch-src_CMakeLists_txt
math/lean/pkg : PLIST
Log message:
math/lean: update to 3.35.1
