Index of /sites/download.fedora.redhat.com/pub/fedora/linux/updates/testing/42/Everything/aarch64/Packages/y/

 Name                                                                                               Last modified      Size  
 Parent Directory                                                                                                        -   
 yices-2.7.0-1.fc42.aarch64.rpm                                                                     2025-07-18 21:42  1.2M  
 yices-devel-2.7.0-1.fc42.aarch64.rpm                                                               2025-07-18 21:42   44K  
 yices-doc-2.7.0-1.fc42.noarch.rpm                                                                  2025-07-18 21:42  1.5M  
 yices-tools-2.7.0-1.fc42.aarch64.rpm                                                               2025-07-18 21:42  1.9M