Show patches with: Series = [bug#49607,v2,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,3/3] gnu: idris: Add doc output and build the html documentation. [bug#49607,v2,1/3] gnu: idris: Use wrap-program to define IDRIS_CC - - - 1-1 2022-04-14 Attila Lendvai New
[bug#49607,2/3] gnu: idris: Add idris2 0.5.1, and update idris to 1.3.4. [bug#49607,v2,1/3] gnu: idris: Use wrap-program to define IDRIS_CC - - - 1-1 2022-04-14 Attila Lendvai New
[bug#49607,v2,1/3] gnu: idris: Use wrap-program to define IDRIS_CC [bug#49607,v2,1/3] gnu: idris: Use wrap-program to define IDRIS_CC - - - 1-1 2022-04-14 Attila Lendvai New