z3:0.6.0total uncompressed bytes125.8 KBtotal files18FixNewInclude { include: [ "src/**/*", "LICENSE.txt", "README.md", ], has_build_script: false, }2 wasted filestotal waste: 25.5 KBtests/lib.rs : 16.2 KBtests/semver_tests.rs : 9.3 KB