Show patches with: Submitter = Robin Green       |    State = Action Required       |    Archived = No       |   7 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[bug#43325] gnu: Update coq and its dependents [bug#43325] gnu: Update coq and its dependents - - - 0 0 0 2020-09-13 Robin Green New
[bug#43325] gnu: Update coq and its dependents [bug#43325] gnu: Update coq and its dependents - - - 0 0 0 2020-09-11 Robin Green New
[bug#43278] gnu: coq-stdpp: Update to 1.4.0. [bug#43278] gnu: coq-stdpp: Update to 1.4.0. - - - 0 0 0 2020-09-08 Robin Green New
[bug#43247] gnu: coq-equations: Update to patch release [bug#43247] gnu: coq-equations: Update to patch release - - - 3 0 0 2020-09-06 Robin Green New
[bug#43121] guix: packages: Fix print-content-hash [bug#43121] guix: packages: Fix print-content-hash - - - 3 0 0 2020-08-30 Robin Green New
[bug#42427] services: Fix auditd startup. [bug#42427] services: Fix auditd startup. - - - 0 0 1 2020-07-26 Robin Green New
[bug#42427] services: Fix auditd startup. [bug#42427] services: Fix auditd startup. - - - 0 0 1 2020-07-19 Robin Green New