Offset 1, 1 lines modified | Offset 1, 1 lines modified | ||
1 | {"name":"z3","origin":"math/z3","version":"4.4.0","comment":"Z3·Theorem·Prover","maintainer":"6yearold@gmail.com","www":"https://github.com/Z3Prover/z3","abi":"FreeBSD:11:amd64","arch":"freebsd:11:x86:64","prefix":"/usr/local","flatsize":82760373,"licenselogic":"single","licenses":["MIT"],"desc":"Z3·is·a·high-performance·theorem·prover·developed\nat·Microsoft·Research.\n\nWWW:·https://github.com/Z3Prover/z3","deps":{"python27":{"origin":"lang/python27","version":"2.7.11_2"}},"categories":["math"],"options":{"DEBUG":"off","STATIC":"on"},"files":{"/usr/local/share/licenses/z3-4.4.0/catalog.mk":"1$61a3bbfeb122fe82df22f98fd762330b7378cdcf05a30c9dafc4b4566a722d4b","/usr/local/share/licenses/z3-4.4.0/LICENSE":"1$8a9617637463b68fc0584861100926c56e2af396c013024314c285549b9c9642","/usr/local/share/licenses/z3-4.4.0/MIT":"1$ad74b81098dc99217dcad0b5cffe2b625d03b4576bb8d0a9d890c731a81ac878","/usr/local/bin/z3":"1$f862db3a281a7f755d1e3190c9673f9965eb98487cf2054e2b7ae10e90f3ab71","/usr/local/include/z3++.h":"1$cddbf071e5be·✂ | 1 | {"name":"z3","origin":"math/z3","version":"4.4.0","comment":"Z3·Theorem·Prover","maintainer":"6yearold@gmail.com","www":"https://github.com/Z3Prover/z3","abi":"FreeBSD:11:amd64","arch":"freebsd:11:x86:64","prefix":"/usr/local","flatsize":82760373,"licenselogic":"single","licenses":["MIT"],"desc":"Z3·is·a·high-performance·theorem·prover·developed\nat·Microsoft·Research.\n\nWWW:·https://github.com/Z3Prover/z3","deps":{"python27":{"origin":"lang/python27","version":"2.7.11_2"}},"categories":["math"],"options":{"DEBUG":"off","STATIC":"on"},"files":{"/usr/local/share/licenses/z3-4.4.0/catalog.mk":"1$61a3bbfeb122fe82df22f98fd762330b7378cdcf05a30c9dafc4b4566a722d4b","/usr/local/share/licenses/z3-4.4.0/LICENSE":"1$8a9617637463b68fc0584861100926c56e2af396c013024314c285549b9c9642","/usr/local/share/licenses/z3-4.4.0/MIT":"1$ad74b81098dc99217dcad0b5cffe2b625d03b4576bb8d0a9d890c731a81ac878","/usr/local/bin/z3":"1$f862db3a281a7f755d1e3190c9673f9965eb98487cf2054e2b7ae10e90f3ab71","/usr/local/include/z3++.h":"1$cddbf071e5be·✂ |
Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
1 | 00000000:·03f3·0d0a· | 1 | 00000000:·03f3·0d0a·9d78·5c57·6300·0000·0000·0000··.....x\Wc....... |
2 | 00000010:·0001·0000·0040·0000·0073·2806·0000·6400··.....@...s(...d. | 2 | 00000010:·0001·0000·0040·0000·0073·2806·0000·6400··.....@...s(...d. |
3 | 00000020:·005a·0000·6401·005a·0100·6402·005a·0200··.Z..d..Z..d..Z.. | 3 | 00000020:·005a·0000·6401·005a·0100·6402·005a·0200··.Z..d..Z..d..Z.. |
4 | 00000030:·6401·005a·0300·6400·005a·0400·6403·005a··d..Z..d..Z..d..Z | 4 | 00000030:·6401·005a·0300·6400·005a·0400·6403·005a··d..Z..d..Z..d..Z |
5 | 00000040:·0500·6400·005a·0600·6404·005a·0700·6401··..d..Z..d..Z..d. | 5 | 00000040:·0500·6400·005a·0600·6404·005a·0700·6401··..d..Z..d..Z..d. |
6 | 00000050:·005a·0800·6405·005a·0900·6406·005a·0a00··.Z..d..Z..d..Z.. | 6 | 00000050:·005a·0800·6405·005a·0900·6406·005a·0a00··.Z..d..Z..d..Z.. |
7 | 00000060:·6407·005a·0b00·6406·005a·0c00·6408·005a··d..Z..d..Z..d..Z | 7 | 00000060:·6407·005a·0b00·6406·005a·0c00·6408·005a··d..Z..d..Z..d..Z |
8 | 00000070:·0d00·6405·005a·0e00·6409·005a·0f00·640a··..d..Z..d..Z..d. | 8 | 00000070:·0d00·6405·005a·0e00·6409·005a·0f00·640a··..d..Z..d..Z..d. |
Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
1 | 00000000:·03f3·0d0a· | 1 | 00000000:·03f3·0d0a·9e78·5c57·6300·0000·0000·0000··.....x\Wc....... |
2 | 00000010:·0002·0000·0040·0000·0073·d815·0000·6400··.....@...s....d. | 2 | 00000010:·0002·0000·0040·0000·0073·d815·0000·6400··.....@...s....d. |
3 | 00000020:·0064·0100·6c00·005a·0000·6400·0064·0100··.d..l..Z..d..d.. | 3 | 00000020:·0064·0100·6c00·005a·0000·6400·0064·0100··.d..l..Z..d..d.. |
4 | 00000030:·6c01·005a·0100·6400·0064·0100·6c02·005a··l..Z..d..d..l..Z | 4 | 00000030:·6c01·005a·0100·6400·0064·0100·6c02·005a··l..Z..d..d..l..Z |
5 | 00000040:·0200·6400·0064·0200·6c03·0054·6400·0064··..d..d..l..Td..d | 5 | 00000040:·0200·6400·0064·0200·6c03·0054·6400·0064··..d..d..l..Td..d |
6 | 00000050:·0200·6c04·0054·6505·0061·0600·6403·0084··..l..Te..a..d... | 6 | 00000050:·0200·6c04·0054·6505·0061·0600·6403·0084··..l..Te..a..d... |
7 | 00000060:·0000·5a07·0064·0400·8400·005a·0800·6500··..Z..d.....Z..e. | 7 | 00000060:·0000·5a07·0064·0400·8400·005a·0800·6500··..Z..d.....Z..e. |
8 | 00000070:·006a·0900·6405·006b·0000·726b·0064·0600··.j..d..k..rk.d.. | 8 | 00000070:·006a·0900·6405·006b·0000·726b·0064·0600··.j..d..k..rk.d.. |