Index of /pub/linux/fedora-projects/fedora-secondary/updates/testing/42/Everything/s390x/Packages/y

Icon  Name                                                                                      Last modified      Size  Description
[PARENTDIR] Parent Directory                                                                                               -   
[   ] yices-2.7.0-1.fc42.s390x.rpm                                                              2025-07-19 05:42  1.4M  
[   ] yices-devel-2.7.0-1.fc42.s390x.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.s390x.rpm                                                        2025-07-19 05:42  2.0M