freebsd/ports
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
856416ff3a4b0078e5ec9dedbdfbee49235e7199
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
…