Index of ftp://granny-smith.urc.uninett.no/reports/2021Q2/20210625.1542/coq-8.12.2nb2

[DIR] Parent Directory

[ ] build.log  38.18Kb  July 24 2021 at 12:21  [find mirrors]
[ ] checksum.log  194.00b  July 24 2021 at 12:14  [find mirrors]
[ ] configure.log  5.62Kb  July 24 2021 at 12:15  [find mirrors]
[ ] depends.log  5.38Kb  July 24 2021 at 12:14  [find mirrors]
[ ] pre-clean.log  32.00b  July 24 2021 at 12:11  [find mirrors]
[ ] work.log  78.57Kb  July 24 2021 at 12:21  [find mirrors]