Show patches with: Series = [bug#49607,v3,1/3] gnu: idris: Use wrap-program to define IDRIS_CC       |    State = Action Required       |    Archived = No       |   3 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[bug#49607,v3,3/3] gnu: idris: Add doc output and build the html documentation. [bug#49607,v3,1/3] gnu: idris: Use wrap-program to define IDRIS_CC - - - 4-- 2022-04-28 Attila Lendvai New
[bug#49607,v3,2/3] gnu: idris: Add idris2 0.5.1. [bug#49607,v3,1/3] gnu: idris: Use wrap-program to define IDRIS_CC - - - 4-- 2022-04-28 Attila Lendvai New
[bug#49607,v3,1/3] gnu: idris: Use wrap-program to define IDRIS_CC [bug#49607,v3,1/3] gnu: idris: Use wrap-program to define IDRIS_CC - - - 4-- 2022-04-28 Attila Lendvai New