https://gitlab.com/nomadic-labs/mi-cho-coq
Raw File
Tip revision: 97d11c9da34b55e0e2e148e2e68ba3d60d5028dd authored by Raphaƫl Cauderlier on 31 May 2021, 20:11:50 UTC
Move data_aux outside of the semantics functor
Tip revision: 97d11c9
coq-mi-cho-coq.install
bin: [
  "src/michocoq/extraction/_build/michocoq.native" {"michocoq"}
]
back to top