z3:0.1.0total uncompressed bytes12.2 KBtotal files7FixNewInclude { include: [ "src/lib.rs", "LICENSE.txt", "README.md", ], has_build_script: false, }3 wasted filestotal waste: 1.8 KBtests/lib.rs : 1.7 KB.travis.yml : 97 B.gitignore : 21 B