Index of /sbo/15.0/academic/yices2/?C=N&O=A

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