https://gitlab.com/nomadic-labs/mi-cho-coq
Raw File
Tip revision: 6ba8c4796e0de39e65f7173796f13e72e7231d88 authored by Raphaƫl Cauderlier on 25 April 2021, 12:26:44 UTC
[Readme] Remove a TODO item
Tip revision: 6ba8c47
coq-mi-cho-coq.install
bin: [
  "src/michocoq/extraction/_build/michocoq.native" {"michocoq"}
]
back to top