https://gitlab.com/nomadic-labs/mi-cho-coq
History
Tip revision: 44b45e8eb9a8d145dc559752c12ca001e7d29ddd authored by Raphaƫl Cauderlier on 24 January 2020, 10:26:23 UTC
Remove the return_to_sender contract
Tip revision: 44b45e8
Error
404

Resource not found

NotFoundExc: Directory entry with path src/contracts_coq/fa12_interface.v from root directory f96002c1f639805904cb0e6c23fd1c314211a676 not found
back to top