Show patches with: Submitter = Ricardo Wurmus       |    Archived = No       |   105 patches
« 1 2 »
Patch Series A/R/T S/W/F Date Submitter Delegate State
[bug#34780] gnu: openmpi: Add Java support. [bug#34780] gnu: openmpi: Add Java support. - - - 2-- 2019-03-07 Ricardo Wurmus Accepted
[bug#29951] : guix: Add wrap-script. [bug#29951] : guix: Add wrap-script. - - - --1 2019-02-06 Ricardo Wurmus Accepted
[bug#34040,2/2] import: cran: Suggest input changes. [bug#34040,1/2] refresh: Suggest input changes when updating. - - - --1 2019-01-11 Ricardo Wurmus Accepted
[bug#34040,1/2] refresh: Suggest input changes when updating. [bug#34040,1/2] refresh: Suggest input changes when updating. - - - --1 2019-01-11 Ricardo Wurmus Accepted
[bug#33138] gnu: Add pdfpc. [bug#33138] gnu: Add pdfpc. - - - --- 2018-10-24 Ricardo Wurmus Accepted
« 1 2 »