Jiri Slaby jirislaby
0 Followers · 0 Following
  • Joined on 2023-07-19
Repositories
48
 Projects Packages Public Activity Starred Repositories
jirislaby pushed to factory at jirislaby/d-t-s-z3 2025-05-30 10:25:42 +02:00
f27a69259b add python-use-non-devel-so.patch
b033c8dfd4 it needs py, not py-devel, actually
1ab93a02c0 PYTHON_EXECUTABLE is not known to z3 anymore
bbd68d5f04 update to 4.15.0
Compare 4 commits »
jirislaby pushed to factory at jirislaby/d-t-s-z3 2025-05-30 10:07:33 +02:00
38220758ae it needs py, not py-devel, actually
e8d7db7758 fix sover
64157fa6e3 PYTHON_EXECUTABLE is not known to z3 anymore
Compare 3 commits »
jirislaby pushed to factory at jirislaby/d-t-s-z3 2025-05-30 09:13:28 +02:00
108f578b66 update to 4.15.0
jirislaby commented on pull request jengelh/virtualbox#6 2025-05-29 13:37:25 +02:00
Fix building with GCC 15 [boo#1242085]

Maybe we can #include <linux/types.h> if __KERNEL__? (Kernel uses old std and the typedef both for gcc 14 and 15, I guess.)

jirislaby commented on pull request jengelh/virtualbox#6 2025-05-28 08:28:28 +02:00
Fix building with GCC 15 [boo#1242085]

This breaks the build:

[   22s] ./include/iprt/types.h:284:13: fatal error: stdbool.h: No such file or directory
[   22s]   284
jirislaby pushed to factory at jirislaby/h-librealsense 2025-05-13 08:40:43 +02:00
0d12796880 update to v2.56.3
jirislaby created repository jirislaby/h-librealsense 2025-05-13 08:38:44 +02:00
jirislaby pushed to factory at jirislaby/d-t-s-minisat 2025-04-17 08:14:58 +02:00
5101e7ad29 up to 2.2.1+20230206
jirislaby created repository jirislaby/d-t-s-minisat 2025-04-17 08:06:53 +02:00
jirislaby closed pull request pool/vim-plugins#1 2025-04-15 09:57:52 +02:00
update
jirislaby commented on pull request pool/vim-plugins#1 2025-04-15 09:57:52 +02:00
update

scratch this.

jirislaby created pull request pool/vim-plugins#1 2025-04-15 09:53:04 +02:00
update
jirislaby pushed to factory at jirislaby/e-vim-plugins 2025-04-15 09:43:37 +02:00
b0edd63f02 update released
jirislaby pushed to factory at jirislaby/e-vim-plugins 2025-04-15 09:39:58 +02:00
f1de722b80 update released
0dc09dfec5 check_for_updates: rewrite to py
8f5c3395fa update plugins
Compare 3 commits »
jirislaby pushed to factory at jirislaby/e-vim-plugins 2025-04-15 09:34:47 +02:00
a36d97ebb6 add bsc reference
jirislaby pushed to factory at jirislaby/e-vim-plugins 2025-04-15 09:33:57 +02:00
9f6dc64add update released
58a84a4343 check_for_updates: rewrite to py
4033a88cf9 update plugins
Compare 3 commits »
jirislaby created repository jirislaby/e-vim-plugins 2025-04-15 07:49:18 +02:00
jirislaby pushed to factory at jirislaby/n-datovka 2025-04-10 10:37:51 +02:00
04e4d956e7 up to 4.26.0
jirislaby created repository jirislaby/n-datovka 2025-04-10 10:35:01 +02:00
jirislaby pushed to factory at jirislaby/n-libdatovka 2025-04-10 10:33:24 +02:00
9677560b4b up to 0.7.1