On Wed, 20 Jul 2022, Ivan Perez wrote:
On 2022-07-19 19:54, Ivan Perez wrote:
It looks like updating bimap doesn't seem to break anything else, so
it seems it should be possible. After updating that in the package
plan, this list of additional packages isn't too terrible:
Just following up on this.
I just tried to rebase your branch on top of the latest master, but
when I run ./test-packages.pl I get:
[...]
After searching the rest of the dependency tree exhaustively, these were
the
goals I've had most trouble fulfilling: base, Agda, base64
By the way, this also happens with the current master, with no changes.
I just rebased and updated my copilot branch and it now succeeds. The
situation is a bit worse than I originally thought. About 26 packages
need to be added, along with updating bimap.
Scott
