https://gitlab.com/nomadic-labs/mi-cho-coq
History
Tip revision: 9fa0d6f5ee4444b7890b9b71545d194f9f73bbe1 authored by Julien Tesson on 14 March 2019, 16:03:27 UTC
OTT now compiles
Tip revision: 9fa0d6f
File Mode Size
configure -rwxr-xr-x 77 bytes
multisig.v -rw-r--r-- 23.3 KB

back to top