Index of /archriscv/.status/logs/coq/

../
coq-8.15.0-1.log                                   18-Feb-2022 22:24               51727
coq-8.15.0-2.log                                   09-Aug-2022 18:22               47221
coq-8.15.0-3.log                                   14-Aug-2022 20:07              268953
coq-8.15.2-1.log                                   05-Sep-2022 13:53              269233
coq-8.16.0-2.log                                   17-Nov-2022 07:39              252731
coq-8.16.1-1.log                                   17-Feb-2023 01:50              254795