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

../
build.log                                          14-Apr-2025 06:42                1308
checksum.log                                       14-Apr-2025 06:41                 161
configure.log                                      14-Apr-2025 06:41                7010
depends.log                                        14-Apr-2025 06:41                8220
install.log                                        14-Apr-2025 06:53               93280
pre-clean.log                                      14-Apr-2025 06:40                  29
work.log                                           14-Apr-2025 06:53             7223595