Jiri Slaby

jirislaby pushed to factory at jirislaby/d-t-s-klee

2025-06-25 10:25:17 +02:00

95c7ece07f up and add 0001-include-cstdint-when-required.patch

jirislaby pushed to master at jirislaby/obsprj-home

2025-06-25 09:57:18 +02:00

151a3a6358 digitemp: pull

jirislaby pushed to master at jirislaby/home-digitemp

2025-06-25 09:45:54 +02:00

5d12ae740f add patches

jirislaby created pull request jengelh/virtualbox#8

2025-06-11 09:19:34 +02:00

fix buld against 6.16

jirislaby pushed to master at jirislaby/virtualbox

2025-06-11 09:19:15 +02:00

c76e78822d fix 6.16

652f6fa07d virtualbox 7.1.10

7e94d2ce18 - Adjust gentoo-C23.patch to fix building the kmp flavor which was

55b005b5e1 Fix building with GCC 15 [boo#1242085]

1884bc52cd virtualbox 7.1.8

Compare 5 commits »

jirislaby pushed to factory at jirislaby/n-psi_

2025-06-02 09:12:01 +02:00

fc667bbe8a plugins-devel -> noarch

jirislaby pushed to factory at jirislaby/n-psi_

2025-06-02 09:07:57 +02:00

24320748a4 qt6

d732335f8b spec cleanup

ed4c3aa564 drop %suse_update_desktop_file

Compare 3 commits »

jirislaby pushed to factory at jirislaby/n-psi_

2025-06-02 08:18:15 +02:00

b38dd53fed up to 1.5.2076+0

jirislaby created repository jirislaby/n-psi_

2025-06-02 07:49:55 +02:00

jirislaby pushed to master at jirislaby/d-t-s-cbmc

2025-05-30 11:26:05 +02:00

45ebb3d592 up to 6.0.0

jirislaby pushed to master at jirislaby/d-t-s-cbmc

2025-05-30 11:07:24 +02:00

f2f21d1e9d initial import

jirislaby created branch master in jirislaby/d-t-s-cbmc

2025-05-30 11:07:24 +02:00

jirislaby created repository jirislaby/d-t-s-cbmc

2025-05-30 11:06:53 +02:00

jirislaby pushed to master at jirislaby/d-t-s-mergesat

2025-05-30 11:05:08 +02:00

9e821d9956 up to 3.3.2

jirislaby pushed to master at jirislaby/d-t-s-mergesat

2025-05-30 11:03:33 +02:00

2722f9aacd up to 3.3.2

jirislaby created branch master in jirislaby/d-t-s-mergesat

2025-05-30 11:01:00 +02:00

jirislaby pushed to master at jirislaby/d-t-s-mergesat

2025-05-30 11:01:00 +02:00

2b3b91690d initial import

jirislaby created repository jirislaby/d-t-s-mergesat

2025-05-30 10:58:20 +02:00

jirislaby pushed to factory at jirislaby/d-t-s-smatch

2025-05-30 10:48:12 +02:00

e3e5fb6266 up to 1.73+20240222

jirislaby created repository jirislaby/d-t-s-smatch

2025-05-30 10:44:11 +02:00