freebsd/ports
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
797df44df8ff88fcae3acaa183e856be53799bd2
ports/math/lean/pkg-message
Yuri Victorovich bf6ba7f6df math/lean: Add pkg-message with warning about /proc being required to be mounted 
Reported by:	BRANDON BOCANEGRA <kakuhen@g.ucla.edu>
2021-03-28 05:01:13 +00:00

273 B
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink