https://gitlab.com/nomadic-labs/mi-cho-coq
Raw File
Tip revision: 9749d159127ca48a35d8e3177b4d8a900c1b214d authored by Arvid Jakobsson on 07 April 2021, 19:39:52 UTC
[ci] add cache opam directory
Tip revision: 9749d15
coq-mi-cho-coq.install
bin: [
  "src/michocoq/extraction/_build/michocoq.native" {"michocoq"}
]
back to top