Show patches with: Submitter = Sören Tempel       |    State = Action Required       |    Archived = No       |   69 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[bug#68296,v4,2/2] gnu: Add klee. [bug#68296,v4,1/2] gnu: Add klee-uclibc. - - - --- 2024-03-28 Sören Tempel New
[bug#68296,v4,1/2] gnu: Add klee-uclibc. [bug#68296,v4,1/2] gnu: Add klee-uclibc. - - - --- 2024-03-28 Sören Tempel New
[bug#69962] gnu: pixman: Disable non-optional verbose gnuplot debugging output [bug#69962] gnu: pixman: Disable non-optional verbose gnuplot debugging output - - - --- 2024-03-23 Sören Tempel New
[bug#69727] gnu: binsec: Update to 0.8.2. [bug#69727] gnu: binsec: Update to 0.8.2. - - - --- 2024-03-11 Sören Tempel New
[bug#69074,v2,14/14] gnu: Add python-angr. [bug#69074,v2,01/14] gnu: Add python-itanium-demangle. - - - --- 2024-03-10 Sören Tempel New
[bug#69074,v2,13/14] gnu: capstone: Backport upstream fix for Python bindings. [bug#69074,v2,01/14] gnu: Add python-itanium-demangle. - - - --- 2024-03-10 Sören Tempel New
[bug#69074,v2,12/14] gnu: unicorn: Update to 2.0.1.post1. [bug#69074,v2,01/14] gnu: Add python-itanium-demangle. - - - --- 2024-03-10 Sören Tempel New
[bug#69074,v2,11/14] gnu: Add python-ailment. [bug#69074,v2,01/14] gnu: Add python-itanium-demangle. - - - --- 2024-03-10 Sören Tempel New
[bug#69074,v2,10/14] gnu: Add python-cle. [bug#69074,v2,01/14] gnu: Add python-itanium-demangle. - - - --- 2024-03-10 Sören Tempel New
[bug#69074,v2,09/14] gnu: Add python-pyvex. [bug#69074,v2,01/14] gnu: Add python-itanium-demangle. - - - --- 2024-03-10 Sören Tempel New
[bug#69074,v2,08/14] gnu: Add python-archinfo. [bug#69074,v2,01/14] gnu: Add python-itanium-demangle. - - - --- 2024-03-10 Sören Tempel New
[bug#69074,v2,07/14] gnu: Add python-claripy. [bug#69074,v2,01/14] gnu: Add python-itanium-demangle. - - - --- 2024-03-10 Sören Tempel New
[bug#69074,v2,06/14] gnu: Add python-pysmt. [bug#69074,v2,01/14] gnu: Add python-itanium-demangle. - - - --- 2024-03-10 Sören Tempel New
[bug#69074,v2,05/14] gnu: Add python-rpyc. [bug#69074,v2,01/14] gnu: Add python-itanium-demangle. - - - --- 2024-03-10 Sören Tempel New
[bug#69074,v2,04/14] gnu: Add python-nampa. [bug#69074,v2,01/14] gnu: Add python-itanium-demangle. - - - --- 2024-03-10 Sören Tempel New
[bug#69074,v2,03/14] gnu: Add python-mulpyplexer. [bug#69074,v2,01/14] gnu: Add python-itanium-demangle. - - - --- 2024-03-10 Sören Tempel New
[bug#69074,v2,02/14] gnu: Add python-keystone-engine. [bug#69074,v2,01/14] gnu: Add python-itanium-demangle. - - - --- 2024-03-10 Sören Tempel New
[bug#69074,v2,01/14] gnu: Add python-itanium-demangle. [bug#69074,v2,01/14] gnu: Add python-itanium-demangle. - - - --- 2024-03-10 Sören Tempel New
[bug#68296,v3,2/2] gnu: Add klee. [bug#68296,v3,1/2] gnu: Add klee-uclibc. - - - --- 2024-02-28 Sören Tempel New
[bug#68296,v3,1/2] gnu: Add klee-uclibc. [bug#68296,v3,1/2] gnu: Add klee-uclibc. - - - --- 2024-02-28 Sören Tempel New
[bug#69415] gnu: wlsunset: Install man pages. [bug#69415] gnu: wlsunset: Install man pages. - - - --- 2024-02-26 Sören Tempel New
[bug#68296,v2,2/2] gnu: Add klee. [bug#68296,v2,1/2] gnu: Add klee-uclibc. - - - --- 2024-02-13 Sören Tempel New
[bug#68296,v2,1/2] gnu: Add klee-uclibc. [bug#68296,v2,1/2] gnu: Add klee-uclibc. - - - --- 2024-02-13 Sören Tempel New
[bug#68675,v3,2/2] services: dhcp: Support the dhcpcd implementation. [bug#68675,v3,1/2] gnu: Add dhcpcd. - - - --- 2024-02-13 Sören Tempel New
[bug#68675,v3,1/2] gnu: Add dhcpcd. [bug#68675,v3,1/2] gnu: Add dhcpcd. - - - --- 2024-02-13 Sören Tempel New
[bug#69074] gnu: Add python-angr. [bug#69074] gnu: Add python-angr. - - - --- 2024-02-12 Sören Tempel New
[bug#69074] gnu: capstone: Backport upstream fix for Python bindings. [bug#69074] gnu: capstone: Backport upstream fix for Python bindings. - - - --- 2024-02-12 Sören Tempel New
[bug#69074] gnu: unicorn: Update to 2.0.1.post1. [bug#69074] gnu: unicorn: Update to 2.0.1.post1. - - - --- 2024-02-12 Sören Tempel New
[bug#69074] gnu: Add python-ailment. [bug#69074] gnu: Add python-ailment. - - - --- 2024-02-12 Sören Tempel New
[bug#69074] gnu: Add python-cle. [bug#69074] gnu: Add python-cle. - - - --- 2024-02-12 Sören Tempel New
[bug#69074] gnu: Add python-pyvex. [bug#69074] gnu: Add python-pyvex. - - - --- 2024-02-12 Sören Tempel New
[bug#69074] gnu: Add python-archinfo. [bug#69074] gnu: Add python-archinfo. - - - --- 2024-02-12 Sören Tempel New
[bug#69074] gnu: Add python-claripy. [bug#69074] gnu: Add python-claripy. - - - --- 2024-02-12 Sören Tempel New
[bug#69074] gnu: Add python-pysmt. [bug#69074] gnu: Add python-pysmt. - - - --- 2024-02-12 Sören Tempel New
[bug#69074] gnu: Add python-rpyc. [bug#69074] gnu: Add python-rpyc. - - - --- 2024-02-12 Sören Tempel New
[bug#69074] gnu: Add python-nampa. [bug#69074] gnu: Add python-nampa. - - - --- 2024-02-12 Sören Tempel New
[bug#69074] gnu: Add python-mulpyplexer. [bug#69074] gnu: Add python-mulpyplexer. - - - --- 2024-02-12 Sören Tempel New
[bug#69074] gnu: Add python-keystone-engine. [bug#69074] gnu: Add python-keystone-engine. - - - --- 2024-02-12 Sören Tempel New
[bug#69074] gnu: Add python-itanium-demangle. [bug#69074] gnu: Add python-itanium-demangle. - - - --- 2024-02-12 Sören Tempel New
[bug#68908] gnu: Add binsec. [bug#68908] gnu: Add binsec. - - - --- 2024-02-03 Sören Tempel New
[bug#68908] gnu: Add ocaml-dune-site. [bug#68908] gnu: Add ocaml-dune-site. - - - --- 2024-02-03 Sören Tempel New
[bug#68908] gnu: Add ocaml-dune-private-libs. [bug#68908] gnu: Add ocaml-dune-private-libs. - - - --- 2024-02-03 Sören Tempel New
[bug#68908] gnu: Add ocaml-stdune. [bug#68908] gnu: Add ocaml-stdune. - - - --- 2024-02-03 Sören Tempel New
[bug#68908] gnu: Add ocaml-dyn. [bug#68908] gnu: Add ocaml-dyn. - - - --- 2024-02-03 Sören Tempel New
[bug#68908] gnu: Add ocaml-ordering. [bug#68908] gnu: Add ocaml-ordering. - - - --- 2024-02-03 Sören Tempel New
[bug#68908] gnu: Add ocaml-grain-dypgen. [bug#68908] gnu: Add ocaml-grain-dypgen. - - - --- 2024-02-03 Sören Tempel New
[bug#68908] gnu: Add ocaml-pp. [bug#68908] gnu: Add ocaml-pp. - - - --- 2024-02-03 Sören Tempel New
[bug#68908] gnu: Add ocaml-toml. [bug#68908] gnu: Add ocaml-toml. - - - --- 2024-02-03 Sören Tempel New
[bug#68908] gnu: Add ocaml-iso8601 [bug#68908] gnu: Add ocaml-iso8601 - - - --- 2024-02-03 Sören Tempel New
[bug#68594,v2] gnu: bemenu: Install man pages [bug#68594,v2] gnu: bemenu: Install man pages - - - --- 2024-01-28 Sören Tempel New
[bug#68757] services: dns: Add unbound service [bug#68757] services: dns: Add unbound service - - - --- 2024-01-27 Sören Tempel New
[bug#68675,v2] services: dhcp: Support the dhcpcd implementation. [bug#68675,v2] services: dhcp: Support the dhcpcd implementation. - - - --- 2024-01-24 Sören Tempel New
[bug#68675,v2] gnu: Add dhcpcd. [bug#68675,v2] gnu: Add dhcpcd. - - - --- 2024-01-24 Sören Tempel New
[bug#68675] services: dhcp: Support the dhcpcd implementation. [bug#68675] services: dhcp: Support the dhcpcd implementation. - - - --- 2024-01-23 Sören Tempel New
[bug#68675] gnu: Add dhcpcd. [bug#68675] gnu: Add dhcpcd. - - - --- 2024-01-23 Sören Tempel New
[bug#68594] gnu: bemenu: Install man pages [bug#68594] gnu: bemenu: Install man pages - - - --- 2024-01-19 Sören Tempel New
[bug#68548] gnu: fcft: Enable shaping support [bug#68548] gnu: fcft: Enable shaping support - - - --- 2024-01-17 Sören Tempel New
[bug#68296] gnu: Add KLEE. [bug#68296] gnu: Add KLEE. - - - --- 2024-01-06 Sören Tempel New
[bug#67896] gnu: ghc-9.2: Make Cabal respect GHC_PACKAGE_PATH [bug#67896] gnu: ghc-9.2: Make Cabal respect GHC_PACKAGE_PATH - - - --- 2023-12-19 Sören Tempel New
[bug#66296,v2] pack: Allow setting a custom image tag for Docker images [bug#66296,v2] pack: Allow setting a custom image tag for Docker images - - - --- 2023-10-14 Sören Tempel New
[bug#66296] pack: Allow setting a custom image tag for Docker images [bug#66296] pack: Allow setting a custom image tag for Docker images - - - --- 2023-10-01 Sören Tempel New
[bug#65486,v3] syscalls: Add support for musl libc [bug#65486,v3] syscalls: Add support for musl libc - - - --- 2023-09-17 Sören Tempel New
[bug#65486,v3] syscalls: Consistently use existing linux? definition [bug#65486,v3] syscalls: Consistently use existing linux? definition - - - --- 2023-09-17 Sören Tempel New
[bug#65486] syscalls: Add support for musl libc [bug#65486] syscalls: Add support for musl libc - - - --- 2023-09-15 Sören Tempel New
[bug#65486,v2] syscalls: Add support for musl libc [bug#65486,v2] syscalls: Add support for musl libc - - - --- 2023-09-09 Sören Tempel New
[bug#65547] daemon: Fix build with GCC13 [bug#65547] daemon: Fix build with GCC13 - - - --- 2023-08-26 Sören Tempel New
[bug#65486] syscalls: Add support for musl libc [bug#65486] syscalls: Add support for musl libc - - - --- 2023-08-24 Sören Tempel New
[bug#65036] syscalls: Consistently use existing linux? definition [bug#65036] syscalls: Consistently use existing linux? definition - - - --- 2023-08-03 Sören Tempel New
[bug#65028] gnu: loksh: Update to 7.3. [bug#65028] gnu: loksh: Update to 7.3. - - - --- 2023-08-02 Sören Tempel New