https://gitlab.com/nomadic-labs/mi-cho-coq
Raw File
Tip revision: 5b40d03f6211c1a82b86c91e974e8add2590e724 authored by Raphaƫl Cauderlier on 18 April 2020, 11:40:18 UTC
[CI] fix shellcheck URL
Tip revision: 5b40d03
coq-mi-cho-coq.install
bin: [
  "src/michocoq/extraction/_build/michocoq.native" {"michocoq"}
]
back to top