This website requires JavaScript.
Explore
Help
Sign In
freebsd
/
ports
Watch
1
Star
0
Fork
0
You've already forked ports
Code
Issues
Pull Requests
Actions
Packages
Projects
Releases
Wiki
Activity
Files
a073dee3484f77e0d4cfc8e2e90c19e77441ae4e
ports
/
math
/
lean
History
Yuri Victorovich
fc32440b3d
*/*: Remove TCMALLOC_DESC because it is now available in Mk
2023-06-06 18:01:01 -07:00
..
distinfo
…
Makefile
*/*: Remove TCMALLOC_DESC because it is now available in Mk
2023-06-06 18:01:01 -07:00
pkg-descr
…
pkg-message
…
pkg-plist
…
