Index of /results/petersen/lean4/

NameLast Modified:Size:Type:
../  Directory
epel-10-aarch64/2025-Feb-04 04:58:39-- Directory
epel-10-ppc64le/2025-Feb-04 04:59:01-- Directory
epel-10-x86_64/2025-Feb-04 03:57:56-- Directory
epel-9-aarch64/2025-Feb-18 10:16:48-- Directory
epel-9-ppc64le/2025-Feb-18 10:16:53-- Directory
epel-9-x86_64/2025-Feb-18 10:16:50-- Directory
fedora-39-aarch64/2024-Dec-08 09:33:13-- Directory
fedora-39-ppc64le/2024-Dec-08 09:33:10-- Directory
fedora-39-x86_64/2024-Dec-07 10:02:42-- Directory
fedora-40-aarch64/2025-Feb-18 10:16:52-- Directory
fedora-40-ppc64le/2025-Feb-18 10:16:45-- Directory
fedora-40-x86_64/2025-Feb-18 10:16:45-- Directory
fedora-41-aarch64/2025-Feb-18 10:16:50-- Directory
fedora-41-ppc64le/2025-Feb-18 10:16:47-- Directory
fedora-41-x86_64/2025-Feb-18 10:16:45-- Directory
fedora-42-aarch64/2025-Feb-03 20:07:35-- Directory
fedora-42-ppc64le/2025-Feb-03 21:14:59-- Directory
fedora-42-x86_64/2025-Feb-03 16:16:13-- Directory
fedora-rawhide-aarch64/2025-Feb-18 10:16:47-- Directory
fedora-rawhide-ppc64le/2025-Feb-18 10:16:53-- Directory
fedora-rawhide-x86_64/2025-Feb-18 10:16:50-- Directory
srpm-builds/2025-Feb-18 11:11:41-- Directory
pubkey.gpg2025-Feb-04 04:59:011002.00B GPG File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend project