Jan Engelhardt jengelh
2 Followers · 0 Following
Repositories
442
 Projects Packages Public Activity Starred Repositories
jengelh pushed to master at dhcp/kea 2025-07-07 18:35:24 +02:00
159d3c3287 Use meson install_umask to set binaries and libraries permissions
jengelh pushed to master at jengelh/gap-wedderga 2025-07-07 16:11:36 +02:00
35ab33e4a7 gap-wedderga 4.11.1
jengelh pushed to master at jengelh/wayland 2025-07-06 17:46:04 +02:00
b31d9d696e wayland 1.24
jengelh pushed to master at jengelh/vulkan-tools 2025-07-06 17:42:27 +02:00
7381c1d02a Add cmake.patch
jengelh pushed to master at jengelh/wayland 2025-07-06 16:11:56 +02:00
7f4cfa77ed wayland 1.24
jengelh pushed to master at clibs/tbb 2025-07-06 12:10:30 +02:00
8999ae2f48 Version 2022.2.0
jengelh merged pull request clibs/tbb#6 2025-07-06 12:10:27 +02:00
Version 2022.2.0
jengelh pushed to master at jengelh/polymake 2025-07-05 20:00:38 +02:00
0901dfa214 polymake 4.14
jengelh pushed to master at jengelh/cdecl 2025-07-05 14:55:16 +02:00
ecfca93fd0 cdecl 18.5
jengelh pushed to master at jengelh/wayback 2025-07-04 08:45:15 +02:00
9f2bba1b9b Initial commit (shipping f141d5a0)
jengelh created branch master in jengelh/wayback 2025-07-04 08:45:15 +02:00
jengelh created repository jengelh/wayback 2025-07-04 08:43:43 +02:00
jengelh pushed to master at jengelh/dsda-doom 2025-07-03 17:29:11 +02:00
131bfb7a49 dsda-doom 0.29.3
jengelh pushed to master at jengelh/gap-groupoids 2025-07-03 16:27:17 +02:00
b878ad40c8 gap-groupoids 1.77
jengelh pushed to master at jengelh/ell 2025-07-03 13:47:17 +02:00
300fcf701d ell 0.78
jengelh pushed to master at dhcp/kea 2025-07-03 13:10:18 +02:00
484b988d04 Update to release 3.0.0
jengelh merged pull request dhcp/kea#6 2025-07-03 13:10:16 +02:00
Update to release 3.0.0
jengelh approved dhcp/kea#6 2025-07-03 13:07:31 +02:00
Update to release 3.0.0
jengelh pushed to master at jengelh/gap-digraphs 2025-07-03 11:19:57 +02:00
94e22d4013 Add eaps4.patch
jengelh pushed to master at jengelh/edge-addition-planarity-suite 2025-07-03 10:37:06 +02:00
7871eb0e8f eaps 4.0.0.0