diff options
| author | TAKATSU Tomonari <tota@FreeBSD.org> | 2017-09-05 14:21:02 +0000 |
|---|---|---|
| committer | TAKATSU Tomonari <tota@FreeBSD.org> | 2017-09-05 14:21:02 +0000 |
| commit | a3a8fccac640d8ffd447cb8a64a63b3e83336a97 (patch) | |
| tree | ff600fdef241192220853d71326e25f48a09192a /math/z3/files/patch-scripts_mk__util.py | |
| parent | - Optionize several dependencies that were previously hardcoded: GNUTLS, (diff) | |
- Update to 3.5.11
Diffstat (limited to 'math/z3/files/patch-scripts_mk__util.py')
0 files changed, 0 insertions, 0 deletions