Show patches with: Series = Update Agda to 2.6.3       |    State = Action Required       |    Archived = No       |   4 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[bug#61915,4/4] gnu: agda: Build info manual Update Agda to 2.6.3 - - - --- 2023-03-02 Josselin Poiret New
[bug#61915,3/4] gnu: agda: Update to 2.6.3 and switch to git-fetch Update Agda to 2.6.3 - - - --- 2023-03-02 Josselin Poiret New
[bug#61915,2/4] gnu: Add ghc-vector-hashtables Update Agda to 2.6.3 - - - --- 2023-03-02 Josselin Poiret New
[bug#61915,1/4] gnu: Add ghc-peano Update Agda to 2.6.3 - - - --- 2023-03-02 Josselin Poiret New