Jan Engelhardt jengelh
jengelh pushed to master at jengelh/gap-io 2025-06-22 01:49:49 +02:00
6e501fec40 gap-io 4.9.3
jengelh pushed to master at jengelh/gap-json 2025-06-22 01:49:05 +02:00
c0f808966f gap-json 2.2.3
jengelh pushed to master at jengelh/gap-profiling 2025-06-22 01:48:21 +02:00
6c1c361cd2 gap-profiling 2.6.2
jengelh pushed to master at jengelh/gap-profiling 2025-06-22 01:47:22 +02:00
0ed28fb8b6 gap-profiling 2.6.2
jengelh pushed to master at jengelh/gap-datastructures 2025-06-22 01:46:46 +02:00
8ba8994662 gap-datastructures 0.3.3
jengelh pushed to master at jengelh/gap-io 2025-06-22 01:45:19 +02:00
5b69d70f89 gap-io 4.9.3
jengelh pushed to master at jengelh/gap-curlinterface 2025-06-20 14:36:07 +02:00
a1b709d054 gap-curlinterface 2.4.2
jengelh pushed to master at jengelh/gap-orb 2025-06-20 14:35:34 +02:00
09091b1802 gap-orb 5.0.1
jengelh pushed to master at jengelh/gap-datastructures 2025-06-20 14:09:42 +02:00
5e8e0d3227 gap-datastructures 0.3.2
jengelh pushed to master at jengelh/gap-io 2025-06-20 14:08:49 +02:00
6eae54ff13 gap-io 4.9.2
jengelh pushed to master at jengelh/gap-zeromqinterface 2025-06-20 14:08:12 +02:00
7e4da15e8b gap-zeromqinterface 0.17
jengelh pushed to master at jengelh/gap-deepthought 2025-06-20 14:07:13 +02:00
fc1b82d034 gap-deepthought 1.0.9
jengelh pushed to master at jengelh/gap-example 2025-06-20 14:05:52 +02:00
ecb83b3000 gap-example 4.4.1
jengelh pushed to master at jengelh/gap-normalizinterface 2025-06-20 14:01:53 +02:00
4f6c21e1fc gap-normalizinterface 1.4.1
jengelh deleted branch factory from jengelh/gap-yangbaxter 2025-06-20 13:59:53 +02:00
jengelh deleted branch factory from jengelh/gap-zeromqinterface 2025-06-20 13:59:53 +02:00
jengelh deleted branch factory from jengelh/gap-xmod 2025-06-20 13:59:52 +02:00
jengelh deleted branch factory from jengelh/gap-wedderga 2025-06-20 13:59:51 +02:00
jengelh deleted branch factory from jengelh/gap-toric 2025-06-20 13:59:46 +02:00
jengelh deleted branch factory from jengelh/gap-toolsforhomalg 2025-06-20 13:59:46 +02:00