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