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.