mtime: 1727090323
commit: 7dd7fee24303d609c89d72eea5f15ad019c5275c1400bab3e1533c727bf874e6
url: https://src.opensuse.org/jengelh/gap-groupoids
revision: master