gap-groupoids 1.76

2024-09-23 13:18:43 +02:00 · 2017-09-08 20:54:52 +00:00 · 2017-09-08 20:54:52 +00:00 · 2024-09-23 13:18:43 +02:00 · 2024-09-23 13:18:43 +02:00 · 2024-09-23 13:18:43 +02:00
diff --git a/Jan Engelhardt b/Jan Engelhardt
Jan Engelhardt 7dd7fee243 gap-groupoids 1.76		2024-09-23 13:18:43 +02:00
.gitattributes	Accepting request 522391 from science	2017-09-08 20:54:52 +00:00
.gitignore	Accepting request 522391 from science	2017-09-08 20:54:52 +00:00
gap-groupoids.changes	gap-groupoids 1.76	2024-09-23 13:18:43 +02:00
gap-groupoids.spec	gap-groupoids 1.76	2024-09-23 13:18:43 +02:00
groupoids-1.76.tar.gz	gap-groupoids 1.76	2024-09-23 13:18:43 +02:00