Skip to content

CHANGES: add entry for 9b38f844df79eaf77a64c82d21cfdc70351ccc03 #590

CHANGES: add entry for 9b38f844df79eaf77a64c82d21cfdc70351ccc03

CHANGES: add entry for 9b38f844df79eaf77a64c82d21cfdc70351ccc03 #590

Annotations

2 warnings

simple-tests (coq-8.15-emacs-29.2)

succeeded Mar 6, 2024 in 1m 56s