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 thegoals I've had most trouble fulfilling: base, Agda, base64
By the way, this also happens with the current master, with no changes. Ivan