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

../
README                                             04-May-2024 15:03                 653
slack-desc                                         04-May-2024 15:03                 872
yices2.SlackBuild                                  04-May-2024 15:03                3703
yices2.info                                        04-May-2024 15:03                 298