Index of /Darwin/14.5/arm64/20250827.1353/coq-8.20.1nb2/

../
build.log                                          28-Aug-2025 02:35                2471
checksum.log                                       28-Aug-2025 02:34                  89
configure.log                                      28-Aug-2025 02:34                7139
depends.log                                        28-Aug-2025 02:34                7993
install.log                                        28-Aug-2025 02:46               93280
pre-clean.log                                      28-Aug-2025 02:34                  32
work.log                                           28-Aug-2025 02:46             7211004