Show patches with: Series = gnu: coq-mathcomp-bigenough: Use native-inputs.       |    Archived = No       |   2 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[bug#73298,2/2] gnu: coq-mathcomp-bigenough: Use native-inputs. gnu: coq-mathcomp-bigenough: Use native-inputs. - - - --- 2024-09-16 Jean-Pierre De Jesus Diaz New
[bug#73298,1/2] gnu: coq-mathcomp-bigenough: Use new style. gnu: coq-mathcomp-bigenough: Use native-inputs. - - - --- 2024-09-16 Jean-Pierre De Jesus Diaz New