Index of /results/petersen/lean4/

NameLast ModifiedSizeType
../  Directory
fedora-43-x86_64/2026-Oct-31 04:34:39-- Directory
fedora-42-ppc64le/2026-Oct-29 14:13:21-- Directory
srpm-builds/2026-Oct-31 05:03:36-- Directory
fedora-44-x86_64/2026-Oct-31 04:34:39-- Directory
fedora-44-aarch64/2026-Oct-30 03:49:28-- Directory
fedora-43-ppc64le/2026-Oct-30 03:49:28-- Directory
fedora-rawhide-aarch64/2026-Oct-30 03:49:30-- Directory
fedora-44-ppc64le/2026-Oct-30 03:49:30-- Directory
epel-9-aarch64/2026-Oct-30 03:49:30-- Directory
epel-10-x86_64/2026-Oct-31 04:34:39-- Directory
fedora-45-x86_64/2026-Oct-31 04:34:39-- Directory
fedora-42-x86_64/2026-Oct-29 14:19:32-- Directory
fedora-rawhide-x86_64/2026-Oct-31 04:34:39-- Directory
epel-9-x86_64/2026-Oct-30 03:49:33-- Directory
fedora-45-ppc64le/2026-Oct-30 03:49:33-- Directory
epel-10-ppc64le/2026-Oct-30 03:49:34-- Directory
fedora-43-aarch64/2026-Oct-30 03:49:35-- Directory
epel-9-ppc64le/2026-Oct-30 03:49:35-- Directory
fedora-rawhide-ppc64le/2026-Oct-30 03:49:33-- Directory
epel-10-aarch64/2026-Oct-30 03:49:35-- Directory
fedora-45-aarch64/2026-Oct-30 03:49:35-- Directory
fedora-42-aarch64/2026-Oct-29 14:26:19-- Directory
pubkey.gpg2026-Oct-16 20:45:211002.00B GPG File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend project | Go to Pulp results for this project