diff options
| author | Emilio Jesus Gallego Arias | 2019-03-18 17:41:08 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-03-19 13:20:58 +0100 |
| commit | 369b7e2e681599d8e04f7ee5c87437ecca0621a5 (patch) | |
| tree | aeb39fcd0020f2ef54f23fd4e7e26954fc7de8ba /kernel | |
| parent | f1ca51445650a6595a9dfd28c365b83fa25d1eea (diff) | |
[ci] Fix OCaml trunk build.
This is a temporal pinning, we should amend it before merge in Coq
[once it is indeed merged upstream] , see
https://gitlab.camlcity.org/gerd/lib-findlib/merge_requests/22
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions