Commit Graph

Select branches

Hide Pull Requests

factory

leap-16.0

leap-16.1

Mono Color

• 57121579ab gap-monoidalcategories 2025.08.02 factory Jan Engelhardt 2025-10-11 20:10:14 +02:00
• 8c604921ae gap-monoidalcategories 2025.01.02 Jan Engelhardt 2025-02-14 12:32:18 +01:00
• bab58fe7d7 Accepting request 1161017 from science leap-16.1 leap-16.0 Ana Guerrero 2024-03-25 20:09:37 +00:00
• b82fca497a - Update to release 2024.02.04 Jan Engelhardt 2024-03-23 22:00:19 +00:00
• a1d9420aee Accepting request 1134846 from science Ana Guerrero 2023-12-28 21:58:47 +00:00
• 3814be0b8c Accepting request 1073285 from home:jengelh:branches:science Dmitry Roshchin 2023-03-20 19:40:59 +00:00