Show patches with: Series = coq: Update various packages.       |    State = Action Required       |    Archived = No       |   6 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[bug#71492,6/6] gnu: coq-stdpp: Update to 1.10.0. coq: Update various packages. - - - --- 2024-06-12 Jean-Pierre De Jesus DIAZ New
[bug#71492,5/6] gnu: coq-mathcomp: Update to 1.19.0. coq: Update various packages. - - - --- 2024-06-12 Jean-Pierre De Jesus DIAZ New
[bug#71492,4/6] gnu: coq-interval: Update to 4.10.0. coq: Update various packages. - - - --- 2024-06-12 Jean-Pierre De Jesus DIAZ New
[bug#71492,3/6] gnu: coq-gappa: Update to 1.5.5. coq: Update various packages. - - - --- 2024-06-12 Jean-Pierre De Jesus DIAZ New
[bug#71492,2/6] gnu: coq-coquelicot: Update to 3.4.1. coq: Update various packages. - - - --- 2024-06-12 Jean-Pierre De Jesus DIAZ New
[bug#71492,1/6] gnu: coq-autosubst: Update to 1.8-0.6ba0acc. coq: Update various packages. - - - --- 2024-06-12 Jean-Pierre De Jesus DIAZ New