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