https://gitlab.com/nomadic-labs/mi-cho-coq
Raw File
Tip revision: a295b00c988add1ad6a465b4ecb3983325c8e8e1 authored by Arvid Jakobsson on 08 April 2021, 16:15:06 UTC
Merge branch 'arvid@ci-build-refactor' into 'dev'
Tip revision: a295b00
coq-mi-cho-coq.install
bin: [
  "src/michocoq/extraction/_build/michocoq.native" {"michocoq"}
]
back to top