Index of /slackware/sbo/local/15.0/academic/yices2/

../
README                                             20-Jul-2024 04:04                 653
slack-desc                                         20-Jul-2024 04:04                 872
yices2.SlackBuild                                  20-Jul-2024 04:04                3703
yices2.info                                        20-Jul-2024 04:04                 298