Index of /distfiles/buildlogs/build-edge-x86_64/community/coq/

../
coq-8.19.1-r3.log                                  17-Jun-2026 04:51    4502
coq-8.19.1-r3.log.gz                               17-Jun-2026 04:51    4502
coq-8.19.2-r0.log                                  17-Jun-2026 04:51    4603
coq-8.19.2-r0.log.gz                               17-Jun-2026 04:51    4603
coq-8.20.0-r0.log                                  17-Jun-2026 04:51    5334
coq-8.20.0-r0.log.gz                               17-Jun-2026 04:51    5334
coq-8.20.1-r0.log                                  17-Jun-2026 04:51    6210
coq-8.20.1-r0.log.gz                               17-Jun-2026 04:51    6210
coq-8.20.1-r1.log                                  17-Jun-2026 04:51    6240
coq-8.20.1-r1.log.gz                               17-Jun-2026 04:51    6240