Show patches with: Submitter = Sören Tempel       |    State = Action Required       |    Archived = No       |   112 patches
« 1 2 »
Patch Series A/R/T S/W/F Date Submitter Delegate State
[bug#72106,v2,5/5] gnu: klee-uclibc: Only build on x86_64 Linux. [bug#72106,v2,1/5] gnu: klee: Wrap klee-stats for Python dependencies. - - - --- 2024-07-14 Sören Tempel New
[bug#72106,v2,4/5] gnu: klee: Only build on x86_64 Linux. [bug#72106,v2,1/5] gnu: klee: Wrap klee-stats for Python dependencies. - - - --- 2024-07-14 Sören Tempel New
[bug#72106,v2,3/5] gnu: klee: Only strip bin directory. [bug#72106,v2,1/5] gnu: klee: Wrap klee-stats for Python dependencies. - - - --- 2024-07-14 Sören Tempel New
[bug#72106,v2,2/5] gnu: klee: Enable the test suite. [bug#72106,v2,1/5] gnu: klee: Wrap klee-stats for Python dependencies. - - - --- 2024-07-14 Sören Tempel New
[bug#72106,v2,1/5] gnu: klee: Wrap klee-stats for Python dependencies. [bug#72106,v2,1/5] gnu: klee: Wrap klee-stats for Python dependencies. - - - --- 2024-07-14 Sören Tempel New
[bug#72106,3/3] gnu: klee: Only strip bin directory. gnu: klee: Enable test suite - - - --- 2024-07-14 Sören Tempel New
[bug#72106,2/3] gnu: klee: Enable the test suite. gnu: klee: Enable test suite - - - --- 2024-07-14 Sören Tempel New
[bug#72106,1/3] gnu: klee: Propagate Python dependencies needed by klee-stats. gnu: klee: Enable test suite - - - --- 2024-07-14 Sören Tempel New
[bug#69074,11/11] gnu: Add python-angr. [bug#69074,01/11] gnu: Add python-keystone-engine. - - - --- 2024-07-11 Sören Tempel New
[bug#69074,10/11] gnu: Add python-ailment. [bug#69074,01/11] gnu: Add python-keystone-engine. - - - --- 2024-07-11 Sören Tempel New
[bug#69074,09/11] gnu: Add python-cle. [bug#69074,01/11] gnu: Add python-keystone-engine. - - - --- 2024-07-11 Sören Tempel New
[bug#69074,08/11] gnu: Add python-pyvex. [bug#69074,01/11] gnu: Add python-keystone-engine. - - - --- 2024-07-11 Sören Tempel New
[bug#69074,07/11] gnu: Add python-archinfo. [bug#69074,01/11] gnu: Add python-keystone-engine. - - - --- 2024-07-11 Sören Tempel New
[bug#69074,06/11] gnu: Add python-claripy. [bug#69074,01/11] gnu: Add python-keystone-engine. - - - --- 2024-07-11 Sören Tempel New
[bug#69074,05/11] gnu: Add python-pysmt. [bug#69074,01/11] gnu: Add python-keystone-engine. - - - --- 2024-07-11 Sören Tempel New
[bug#69074,04/11] gnu: Add python-rpyc. [bug#69074,01/11] gnu: Add python-keystone-engine. - - - --- 2024-07-11 Sören Tempel New
[bug#69074,03/11] gnu: Add python-nampa. [bug#69074,01/11] gnu: Add python-keystone-engine. - - - --- 2024-07-11 Sören Tempel New
[bug#69074,02/11] gnu: Add python-mulpyplexer. [bug#69074,01/11] gnu: Add python-keystone-engine. - - - --- 2024-07-11 Sören Tempel New
[bug#69074,01/11] gnu: Add python-keystone-engine. [bug#69074,01/11] gnu: Add python-keystone-engine. - - - --- 2024-07-11 Sören Tempel New
[bug#63442] gnu: unicorn: Update to 2.0.1.post1. [bug#63442] gnu: unicorn: Update to 2.0.1.post1. - - - --- 2024-07-11 Sören Tempel New
[bug#72015] gnu: capstone: Backport upstream fix for Python bindings. [bug#72015] gnu: capstone: Backport upstream fix for Python bindings. - - - --- 2024-07-09 Sören Tempel New
[bug#71925,v4,2/2] gnu: klee: Build with klee-uclibc support. [bug#71925,v4,1/2] gnu: Add klee-uclibc. - - - --- 2024-07-08 Sören Tempel New
[bug#71925,v4,1/2] gnu: Add klee-uclibc. [bug#71925,v4,1/2] gnu: Add klee-uclibc. - - - --- 2024-07-08 Sören Tempel New
[bug#71925,v3,2/2] gnu: klee: Build with klee-uclibc support. [bug#71925,v3,1/2] gnu: Add klee-uclibc. - - - --- 2024-07-07 Sören Tempel New
[bug#71925,v3,1/2] gnu: Add klee-uclibc. [bug#71925,v3,1/2] gnu: Add klee-uclibc. - - - --- 2024-07-07 Sören Tempel New
[bug#71925,v2,2/2] gnu: klee: Build with klee-uclibc support. [bug#71925,v2,1/2] gnu: Add klee-uclibc. - - - --- 2024-07-07 Sören Tempel New
[bug#71925,v2,1/2] gnu: Add klee-uclibc. [bug#71925,v2,1/2] gnu: Add klee-uclibc. - - - --- 2024-07-07 Sören Tempel New
[bug#69074,v3,14/14] gnu: Add python-angr. [bug#69074,v3,01/14] gnu: Add python-itanium-demangle. - - - --- 2024-07-04 Sören Tempel New
[bug#69074,v3,13/14] gnu: capstone: Backport upstream fix for Python bindings. [bug#69074,v3,01/14] gnu: Add python-itanium-demangle. - - - --- 2024-07-04 Sören Tempel New
[bug#69074,v3,12/14] gnu: unicorn: Update to 2.0.1.post1. [bug#69074,v3,01/14] gnu: Add python-itanium-demangle. - - - --- 2024-07-04 Sören Tempel New
[bug#69074,v3,11/14] gnu: Add python-ailment. [bug#69074,v3,01/14] gnu: Add python-itanium-demangle. - - - --- 2024-07-04 Sören Tempel New
[bug#69074,v3,10/14] gnu: Add python-cle. [bug#69074,v3,01/14] gnu: Add python-itanium-demangle. - - - --- 2024-07-04 Sören Tempel New
[bug#69074,v3,09/14] gnu: Add python-pyvex. [bug#69074,v3,01/14] gnu: Add python-itanium-demangle. - - - --- 2024-07-04 Sören Tempel New
[bug#69074,v3,08/14] gnu: Add python-archinfo. [bug#69074,v3,01/14] gnu: Add python-itanium-demangle. - - - --- 2024-07-04 Sören Tempel New
[bug#69074,v3,07/14] gnu: Add python-claripy. [bug#69074,v3,01/14] gnu: Add python-itanium-demangle. - - - --- 2024-07-04 Sören Tempel New
[bug#69074,v3,06/14] gnu: Add python-pysmt. [bug#69074,v3,01/14] gnu: Add python-itanium-demangle. - - - --- 2024-07-04 Sören Tempel New
[bug#69074,v3,05/14] gnu: Add python-rpyc. [bug#69074,v3,01/14] gnu: Add python-itanium-demangle. - - - --- 2024-07-04 Sören Tempel New
[bug#69074,v3,04/14] gnu: Add python-nampa. [bug#69074,v3,01/14] gnu: Add python-itanium-demangle. - - - --- 2024-07-04 Sören Tempel New
[bug#69074,v3,03/14] gnu: Add python-mulpyplexer. [bug#69074,v3,01/14] gnu: Add python-itanium-demangle. - - - --- 2024-07-04 Sören Tempel New
[bug#69074,v3,02/14] gnu: Add python-keystone-engine. [bug#69074,v3,01/14] gnu: Add python-itanium-demangle. - - - --- 2024-07-04 Sören Tempel New
[bug#69074,v3,01/14] gnu: Add python-itanium-demangle. [bug#69074,v3,01/14] gnu: Add python-itanium-demangle. - - - --- 2024-07-04 Sören Tempel New
[bug#71925,2/2] gnu: klee: Build with klee-uclibc support. Add klee-uclibc. - - - --- 2024-07-03 Sören Tempel New
[bug#71925,1/2] gnu: Add klee-uclibc. Add klee-uclibc. - - - --- 2024-07-03 Sören Tempel New
[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
« 1 2 »