https://gitlab.com/nomadic-labs/mi-cho-coq
History
Tip revision: dd933cd516dabae2ad69782b2d6e48c76ba8cfca authored by Raphaƫl Cauderlier on 24 January 2020, 10:44:15 UTC
Merge branch 'rafoo@fix_build' into 'dev'
Tip revision: dd933cd
Error
404

Resource not found

NotFoundExc: Directory entry with path src/contracts_coq/fa12_spec.v from root directory 786ba9e1f524c6ac9be4ef7ee43a295e7720eaa3 not found
back to top