Show patches with: Series = Update Agda and libraries to 2.6.4       |    State = Action Required       |    Archived = No       |   6 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[bug#66775,6/6] gnu: agda-1lab: Update to 549fdb1c948a975e90e70f871993a4a4239aa280. Update Agda and libraries to 2.6.4 - - - --- 2023-10-27 Josselin Poiret New
[bug#66775,5/6] gnu: agda-cubical: Update to 0.6. Update Agda and libraries to 2.6.4 - - - --- 2023-10-27 Josselin Poiret New
[bug#66775,4/6] gnu: agda-categories: Adapt to agda-stdlib 1.7.3. Update Agda and libraries to 2.6.4 - - - --- 2023-10-27 Josselin Poiret New
[bug#66775,3/6] gnu: agda-stdlib: Update to 1.7.3. Update Agda and libraries to 2.6.4 - - - --- 2023-10-27 Josselin Poiret New
[bug#66775,2/6] gnu: agda: Update to 2.6.4. Update Agda and libraries to 2.6.4 - - - --- 2023-10-27 Josselin Poiret New
[bug#66775,1/6] gnu: Add ghc-text-icu. Update Agda and libraries to 2.6.4 - - - --- 2023-10-27 Josselin Poiret New