https://github.com/formal-land/coq-of-rust

gzip: stdin: not in gzip format