Index of /Darwin/12.3/arm64/20250416.1350/coq-8.20.1/

../
build.log                                          17-Apr-2025 04:52                1308
checksum.log                                       17-Apr-2025 04:51                  89
configure.log                                      17-Apr-2025 04:51                7010
depends.log                                        17-Apr-2025 04:51                8220
install.log                                        17-Apr-2025 05:05               93280
pre-clean.log                                      17-Apr-2025 04:50                  29
work.log                                           17-Apr-2025 05:05             7223595