Port detail:


Port: math/lean
Maintainer: [email protected]
URLs: FreshPorts

Fallout List

port version build environment category date urls
math/lean 3.51.1 main-powerpc-default build 2024-03-05 16:30 log report build queue