z3-sys:0.2.0total uncompressed bytes268.8 KBtotal files5FixNewInclude { include: [ "src/lib.rs", "LICENSE.txt", "README.md", ], has_build_script: false, }1 wasted filestotal waste: 1.8 KBtests/lib.rs : 1.8 KB