Index of /sites/download.salixos.org/sbo/15.0/academic/yices2/?C=S&O=A

Icon  Name                                           Last modified      Size  
[PARENTDIR] Parent Directory                                                    -   
[   ] yices2.info                                    2022-11-05 14:20  298   
[   ] README                                         2022-11-05 14:20  653   
[   ] slack-desc                                     2022-11-05 14:20  872   
[   ] yices2.SlackBuild                              2022-11-05 14:20  3.6K