On Thu, 5 May 2022, Ivan Perez wrote:
[...]
After searching the rest of the dependency tree exhaustively, these were
the
goals I've had most trouble fulfilling: copilot, ansi-terminal,
copilot-theorem
Actually, I read that wrong. copilot-theorem seems to require an
*older* version of ansi-terminal. Can it be updated to use
ansi-terminal 0.10.3?
Scott,
Thanks a lot for checking. That can be bumped up (I just checked by modifying
that constraint in the cabal package).
I've made this change temporarily available here:
https://github.com/Copilot-Language/copilot/tree/develop-version-bounds
Are you able to test with that change (just to see if it works or if anything
else needs to be changed)?
After patching that, the bimap version is the next problem (Debian has
0.4.0).
After patching in bimap also, the next problem relates to what4 and its
dependencies. I'll have to fiddle with the package plan a little more to
see what else might need to be changed.
Scott
