diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2022-08-31 21:10:41 -0700 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2022-08-31 21:12:35 -0700 |
| commit | 82f91c596b3968e85de769e171453297c9c292cd (patch) | |
| tree | a52838f3cbb032f16f9c32aa4a62595942df0c4a /databases | |
| parent | sysutils/dwatch-json: update to 1.2, restore maintainership (diff) | |
math/lean: Update 3.47.0 -> 3.48.0; Add options TCMALLOC, THREADS
Also fix minor non-FreeBSD compatible code.
Diffstat (limited to 'databases')
0 files changed, 0 insertions, 0 deletions