https://gitlab.com/nomadic-labs/mi-cho-coq
History
Tip revision: 70173e1d47dcd21a8f2df929eb2acc1e5762e6d0 authored by Arvid Jakobsson on 21 September 2020, 06:44:50 UTC
[dexter] wip: try fix notation error
Tip revision: 70173e1
Error
404

Resource not found

NotFoundExc: Directory entry with path src/contracts_coq/fa12_camlcase.v from root directory 84ed61301014e96c8742673bc6f6a88df6b76843 not found
back to top