dune icon indicating copy to clipboard operation
dune copied to clipboard

Published 20 hours ago • verified publisher icon ocaml

ci: use nix for coq job

Open emillon opened this issue 8 months ago • 4 comments

We have to override the nixpkgs definition to get coq-native.

emillon avatar Jun 19 '24 13:06 emillon