Index of petersen/idris2-pack/

../
fedora-44-aarch64/                                                                                    
fedora-44-x86_64/                                                                                     
fedora-rawhide-aarch64/                                                                               
fedora-rawhide-x86_64/