coq: Perbedaan revisi

66.850

suntingan