Show patches with: Submitter = Pierre Neidhardt       |    State = Action Required       |    Archived = No       |   10 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[bug#42576,2/2] gnu: llvm-3.9.1: Move libraries to "lib" output. [bug#42576,1/2] gnu: llvm: Move dynamic libraries to a separate "lib" output. - - - 3-- 2020-07-28 Pierre Neidhardt New
[bug#42576,1/2] gnu: llvm: Move dynamic libraries to a separate "lib" output. [bug#42576,1/2] gnu: llvm: Move dynamic libraries to a separate "lib" output. - - - 3-- 2020-07-28 Pierre Neidhardt New
[bug#42262,6/6] gnu: gst-libav: Describe where these plugins are useful. [bug#42262,1/6] gnu: webkitgtk: Refer to GStreamer plugins in description. - - - 3-- 2020-07-08 Pierre Neidhardt New
[bug#42262,5/6] gnu: gst-plugins-ugly: Describe where these plugins are useful. [bug#42262,1/6] gnu: webkitgtk: Refer to GStreamer plugins in description. - - - 3-- 2020-07-08 Pierre Neidhardt New
[bug#42262,4/6] gnu: gst-plugins-bad: Describe where these plugins are useful. [bug#42262,1/6] gnu: webkitgtk: Refer to GStreamer plugins in description. - - - 3-- 2020-07-08 Pierre Neidhardt New
[bug#42262,3/6] gnu: gst-plugins-good: Describe where these plugins are useful. [bug#42262,1/6] gnu: webkitgtk: Refer to GStreamer plugins in description. - - - 3-- 2020-07-08 Pierre Neidhardt New
[bug#42262,2/6] gnu: gstreamer: Refer to GStreamer plugins in description. [bug#42262,1/6] gnu: webkitgtk: Refer to GStreamer plugins in description. - - - 3-- 2020-07-08 Pierre Neidhardt New
[bug#42262,1/6] gnu: webkitgtk: Refer to GStreamer plugins in description. [bug#42262,1/6] gnu: webkitgtk: Refer to GStreamer plugins in description. - - - 3-- 2020-07-08 Pierre Neidhardt New
[bug#41538] guix scripts: Mention Guix checkouts + gcroots/auto when warning about disk space. [bug#41538] guix scripts: Mention Guix checkouts + gcroots/auto when warning about disk space. - - - 3-- 2020-05-26 Pierre Neidhardt New
[bug#40387] gnu: Set JAVA_HOME for all Java development kits. [bug#40387] gnu: Set JAVA_HOME for all Java development kits. - - - 3-- 2020-04-02 Pierre Neidhardt New