Name Last modified Size DescriptionApache/2.4.62 (Debian) Server at ftp.mizar.org Port 443
Parent Directory - 20240421/ 2024-04-22 10:29 - 20241002/ 2024-10-02 08:40 - 20241004/ 2024-10-04 08:43 - 20241005/ 2024-10-05 08:38 - current/ 2024-10-05 08:38 - Latest images to have passed any automatic testing; try this first manual/ 2024-04-22 10:29 - pending/ 2024-10-05 08:38 - Most recently built images; not yet automatically tested