My dev

[cdwensley]

No description provided.

[fingolfin]

That latest version of groupoids in the package distribution is 1.79.

There was a change in GitHub that caused the "update website" step to fail in the release automation :-( visible in the failures at https://github.com/gap-packages/groupoids/actions

I will fix this issue manually now to make sure 1.81 gets into the package distro

[cdwensley]

Apologies - I noticed that the “update website” step failed when making the release, but did not think to report this.

[fingolfin]

No worries -- I also run into this independently and luckily @stertooy fixed it quickly enough

[fingolfin]

You merged this but of course CI now fails because the merged changes here require groupoids >= 1.81 but the package distro still only has 1.79.

From your comment on gap-system/PackageDistro#1267 it still not clear which way you'd like to move forward. I see at least these options:

1. you modify xmod master to not require groupoids 1.79 (i.e. revert part of this PR), and then make a new release that is compatible with both 1.79 and 1.81; after that is merged into the distro, I can merge the groupoids 1.81 PR
2. you tell me to merge groupoids 1.81, even though this will break older xmod versions; at that point you'll then follow "soon" with a new xmod release that requires the new groupoids

[cdwensley]

I've just remembered how to use InstalledPackageVersion, so I will revert the groupoids-1.81 requirement and make some adjustments.