Index of /macports-packages/yices/

../
yices-2.6.4_0.darwin_10.x86_64.tbz2                28-Dec-2022 07:55             3830914
yices-2.6.4_0.darwin_10.x86_64.tbz2.rmd160         28-Dec-2022 07:55                 512
yices-2.6.4_0.darwin_11.x86_64.tbz2                28-Dec-2022 07:53             3421642
yices-2.6.4_0.darwin_11.x86_64.tbz2.rmd160         28-Dec-2022 07:54                 512
yices-2.6.4_0.darwin_12.x86_64.tbz2                28-Dec-2022 07:54             3647964
yices-2.6.4_0.darwin_12.x86_64.tbz2.rmd160         28-Dec-2022 07:54                 512
yices-2.6.4_0.darwin_13.x86_64.tbz2                28-Dec-2022 07:54             3624790
yices-2.6.4_0.darwin_13.x86_64.tbz2.rmd160         28-Dec-2022 07:54                 512
yices-2.6.4_0.darwin_14.x86_64.tbz2                28-Dec-2022 07:56             3587258
yices-2.6.4_0.darwin_14.x86_64.tbz2.rmd160         28-Dec-2022 07:56                 512
yices-2.6.4_0.darwin_15.x86_64.tbz2                28-Dec-2022 07:58             3660983
yices-2.6.4_0.darwin_15.x86_64.tbz2.rmd160         28-Dec-2022 07:58                 512
yices-2.6.4_0.darwin_16.x86_64.tbz2                28-Dec-2022 07:56             3604244
yices-2.6.4_0.darwin_16.x86_64.tbz2.rmd160         28-Dec-2022 07:56                 512
yices-2.6.4_0.darwin_17.x86_64.tbz2                28-Dec-2022 08:04             3721872
yices-2.6.4_0.darwin_17.x86_64.tbz2.rmd160         28-Dec-2022 08:04                 512
yices-2.6.4_0.darwin_18.x86_64.tbz2                28-Dec-2022 08:11             3833265
yices-2.6.4_0.darwin_18.x86_64.tbz2.rmd160         28-Dec-2022 08:11                 512
yices-2.6.4_0.darwin_19.x86_64.tbz2                28-Dec-2022 08:02             3782862
yices-2.6.4_0.darwin_19.x86_64.tbz2.rmd160         28-Dec-2022 08:02                 512
yices-2.6.4_0.darwin_20.x86_64.tbz2                28-Dec-2022 08:00             3756305
yices-2.6.4_0.darwin_20.x86_64.tbz2.rmd160         28-Dec-2022 08:00                 512
yices-2.6.4_0.darwin_21.x86_64.tbz2                28-Dec-2022 08:04             3772347
yices-2.6.4_0.darwin_21.x86_64.tbz2.rmd160         28-Dec-2022 08:04                 512
yices-2.6.4_0.darwin_22.x86_64.tbz2                28-Dec-2022 17:29             3790239
yices-2.6.4_0.darwin_22.x86_64.tbz2.rmd160         28-Dec-2022 17:29                 512
yices-2.6.4_0.darwin_23.x86_64.tbz2                22-Nov-2023 18:36             3595536
yices-2.6.4_0.darwin_23.x86_64.tbz2.rmd160         22-Nov-2023 18:36                 512