An error occurred while fetching folder content.
Forked from
cld / tracing / xtrace-cpp
Source project has a limited visibility.

Björn Brandenburg
authored
CI is failing as follows: ``` $ opam install coq-mathcomp-zify [NOTE] It seems you have not updated your repositories for a while. Consider updating them with: opam update The following dependencies couldn't be met: - coq-mathcomp-zify -> coq-mathcomp-algebra < 1.14~ not available because the package is pinned to version 1.14.0 No solution found, exiting ```
Name | Last commit | Last update |
---|