../ distrib/ 27-Jul-2024 13:17 - mingw/ 18-Oct-2024 11:30 - msys/ 22-Jul-2015 17:03 - lastsync 22-Oct-2024 12:15 11 lastupdate 21-Oct-2024 19:27 11 mirror.umd.edu.size.txt 22-Oct-2024 12:16 22 mirror.umd.edu.timestamp.txt 22-Oct-2024 12:16 38