Show patches with:
Series = [bug#71492,v2] gnu: coq-autosubst: Fix Coq 8.19 compatibility.
|
State = Action Required
|
Archived = No
| 1
patch