This static file crate index was generated using margo (https://github.com/integer32llc/margo)

To use the index, add the following to your ~/.cargo/config.toml 

---
[registries]
defalsify = { index = "sparse+https://defalsify.org/pub/rust/" }
[...]
---

Then to install a package from here, e.g. wala, issue:

cargo install --registry defalsify ... wala