freebsd-ports/math/lean
Yuri Victorovich 7424caa4ec math/lean: Add the PORTSCOUT line.
Avoid picking undesirable tags.
2018-07-25 20:16:37 +00:00
..
files
distinfo
Makefile
pkg-descr
pkg-plist