Show patches with: Series = Update Agda to 2.7.0.1 along with libraries.       |    State = Action Required       |    Archived = No       |   5 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[bug#73421,5/5] gnu: agda-1lab: Update to afcf848d367f906d6d07d1612fbd41d7dd8c978e. Update Agda to 2.7.0.1 along with libraries. - - - --- 2024-09-22 Josselin Poiret New
[bug#73421,4/5] gnu: agda-cubical: Update to 0.7. Update Agda to 2.7.0.1 along with libraries. - - - --- 2024-09-22 Josselin Poiret New
[bug#73421,3/5] gnu: agda-categories: Update to 0.2.0. Update Agda to 2.7.0.1 along with libraries. - - - --- 2024-09-22 Josselin Poiret New
[bug#73421,2/5] gnu: agda-stdlib: Update to 2.1.13 Update Agda to 2.7.0.1 along with libraries. - - - --- 2024-09-22 Josselin Poiret New
[bug#73421,1/5] gnu: agda: Update to 2.7.0.1. Update Agda to 2.7.0.1 along with libraries. - - - --- 2024-09-22 Josselin Poiret New