diff options
| author | Gaëtan Gilbert | 2020-07-10 13:47:56 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-07-10 13:47:56 +0200 |
| commit | 5a6afa0acfdf575b818d7d88588cb2fad5b813b8 (patch) | |
| tree | 66000683458d444d8e9194664ddd761dd90fa8a9 /_CoqProject | |
| parent | f2dc2f5fc8c745c69c0161a91063b11838fb684b (diff) | |
Fix fiat_crypto(_ocaml) needs/dependencies
It seems gitlab has issues with missing transitive dependencies, for
instance in https://gitlab.com/coq/coq/-/pipelines/164834444 rewriter
failed (missing overlay), fiat_crypto was skipped and
fiat_crypto_ocaml was incorrectly started and so failed.
May also fix (intermittent?) issue where it doesn't download the
rewriter or bignum artifact and gets incompatible ocaml when compiling.
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions