Ugly Alpha 1
boolector-sys:0.6.2

total uncompressed bytes

42.5 KB

total files

11

Fix

NewInclude { include: [ "src/lib.rs", "LICENSE", "README.md", "build-vendor.rs", "build.rs", ], has_build_script: true, }

5 wasted files

total waste: 34.4 KB

  1. src-generated/bindings.rs : 25.1 KB
  2. src-generated/options.rs : 8.5 KB
  3. src-generated/update-bindings.sh : 655 B
  4. .gitmodules : 92 B
  5. .gitignore : 35 B