diff options
| author | yuri <yuri@FreeBSD.org> | 2018-07-26 03:14:54 +0800 |
|---|---|---|
| committer | yuri <yuri@FreeBSD.org> | 2018-07-26 03:14:54 +0800 |
| commit | 260960536bbf28b5bfedaf5500b8d01d1ef65f4a (patch) | |
| tree | cb7819a805c1d9027c625a27b95d70e1feb2f70d /MOVED | |
| parent | d5136ca55a5eb2457c6c905866019b29bfb9b7c3 (diff) | |
| download | freebsd-ports-gnome-260960536bbf28b5bfedaf5500b8d01d1ef65f4a.tar.gz freebsd-ports-gnome-260960536bbf28b5bfedaf5500b8d01d1ef65f4a.tar.zst freebsd-ports-gnome-260960536bbf28b5bfedaf5500b8d01d1ef65f4a.zip | |
math/py-z3-solver: Rename to math/py-z3 to have a more intuitive name
Reported by: arrowd
Diffstat (limited to 'MOVED')
| -rw-r--r-- | MOVED | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -10357,3 +10357,4 @@ lang/spec.alpha||2018-07-21|Unused in the ports tree sysutils/xen-tools|sysutils/xen-tools47|2018-07-23|Renamed to support multiple versions emulators/xen-kernel|emulators/xen-kernel47|2018-07-23|Renamed to support multiple versions emulators/xen||2018-07-23|Removed to support multiple versions +math/py-z3-solver|math/py-z3|2018-07-25|Rename to have a more intuitive name |