mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-23 04:23:08 +00:00
Code Issues Releases Activity
675f0632c6
freebsd-ports/math/lean
History
Yuri Victorovich 7424caa4ec math/lean: Add the PORTSCOUT line. 
Avoid picking undesirable tags.
2018-07-25 20:16:37 +00:00
..
files
distinfo
Makefile math/lean: Add the PORTSCOUT line. 2018-07-25 20:16:37 +00:00
pkg-descr
pkg-plist