Index of /pub/Linux/fedora-projects/fedora/linux/updates/testing/42/Everything/aarch64/Packages/y

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