z3:0.4.0total uncompressed bytes113.6 KBtotal files18FixNewInclude { include: [ "src/**/*", "LICENSE.txt", "README.md", ], has_build_script: false, }2 wasted filestotal waste: 20.4 KBtests/lib.rs : 11.1 KBtests/semver_tests.rs : 9.2 KB