lzmaSDK for iOS, from https://github.com/mdejong/lzmaSDK/ (which is originnally from http://www.7-zip.org/sdk.html)
put Coq stdlib into .7z archive