FreeBSD/ports 3925a8a (r512541) — math/z3 distinfo Makefile, math/z3/files patch-scripts_mk__util.py
math/z3: Update to 4.8.6.
| Delta | File | |
|---|---|---|
| +4 | -11 | math/z3/files/patch-scripts_mk__util.py |
| +3 | -3 | math/z3/distinfo |
| +2 | -3 | math/z3/Makefile |
| +9 | -17 | 3 files |
math/z3: Update to 4.8.6.
| Delta | File | |
|---|---|---|
| +4 | -11 | math/z3/files/patch-scripts_mk__util.py |
| +3 | -3 | math/z3/distinfo |
| +2 | -3 | math/z3/Makefile |
| +9 | -17 | 3 files |