Show patches with: Series = gnu: Add coq-actris.       |   2 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[bug#73236,2/2] gnu: Add coq-actris. gnu: Add coq-actris. - - - --- 2024-09-13 Antero Mejr New
[bug#73236,1/2] gnu: Add coq-iris. gnu: Add coq-actris. - - - --- 2024-09-13 Antero Mejr New