Index of /macports/packages/yices/


../
yices-2.6.5_0.darwin_10.x86_64.tbz2                28-Jun-2024 14:06             3818451
yices-2.6.5_0.darwin_10.x86_64.tbz2.rmd160         28-Jun-2024 14:06                 512
yices-2.6.5_0.darwin_11.x86_64.tbz2                28-Jun-2024 14:04             3420547
yices-2.6.5_0.darwin_11.x86_64.tbz2.rmd160         28-Jun-2024 14:04                 512
yices-2.6.5_0.darwin_12.x86_64.tbz2                28-Jun-2024 14:07             3647620
yices-2.6.5_0.darwin_12.x86_64.tbz2.rmd160         28-Jun-2024 14:07                 512
yices-2.6.5_0.darwin_13.x86_64.tbz2                28-Jun-2024 14:06             3623229
yices-2.6.5_0.darwin_13.x86_64.tbz2.rmd160         28-Jun-2024 14:06                 512
yices-2.6.5_0.darwin_14.x86_64.tbz2                28-Jun-2024 14:05             3588917
yices-2.6.5_0.darwin_14.x86_64.tbz2.rmd160         28-Jun-2024 14:05                 512
yices-2.6.5_0.darwin_15.x86_64.tbz2                28-Jun-2024 14:07             3664454
yices-2.6.5_0.darwin_15.x86_64.tbz2.rmd160         28-Jun-2024 14:07                 512
yices-2.6.5_0.darwin_16.x86_64.tbz2                28-Jun-2024 14:06             3604359
yices-2.6.5_0.darwin_16.x86_64.tbz2.rmd160         28-Jun-2024 14:06                 512
yices-2.6.5_0.darwin_17.x86_64.tbz2                28-Jun-2024 14:05             3717818
yices-2.6.5_0.darwin_17.x86_64.tbz2.rmd160         28-Jun-2024 14:05                 512
yices-2.6.5_0.darwin_18.x86_64.tbz2                28-Jun-2024 15:39             3827637
yices-2.6.5_0.darwin_18.x86_64.tbz2.rmd160         28-Jun-2024 15:39                 512
yices-2.6.5_0.darwin_19.x86_64.tbz2                28-Jun-2024 15:36             3777228
yices-2.6.5_0.darwin_19.x86_64.tbz2.rmd160         28-Jun-2024 15:36                 512
yices-2.6.5_0.darwin_20.x86_64.tbz2                28-Jun-2024 15:42             3752457
yices-2.6.5_0.darwin_20.x86_64.tbz2.rmd160         28-Jun-2024 15:42                 512
yices-2.6.5_0.darwin_21.arm64.tbz2                 28-Jun-2024 13:58             3637511
yices-2.6.5_0.darwin_21.arm64.tbz2.rmd160          28-Jun-2024 13:58                 512
yices-2.6.5_0.darwin_21.x86_64.tbz2                28-Jun-2024 15:56             3766938
yices-2.6.5_0.darwin_21.x86_64.tbz2.rmd160         28-Jun-2024 15:56                 512
yices-2.6.5_0.darwin_22.arm64.tbz2                 28-Jun-2024 20:06             3537566
yices-2.6.5_0.darwin_22.arm64.tbz2.rmd160          28-Jun-2024 20:06                 512
yices-2.6.5_0.darwin_22.x86_64.tbz2                28-Jun-2024 14:28             3653976
yices-2.6.5_0.darwin_22.x86_64.tbz2.rmd160         28-Jun-2024 14:28                 512
yices-2.6.5_0.darwin_23.arm64.tbz2                 28-Jun-2024 16:24             3528384
yices-2.6.5_0.darwin_23.arm64.tbz2.rmd160          28-Jun-2024 16:24                 512
yices-2.6.5_0.darwin_23.x86_64.tbz2                28-Jun-2024 22:37             3590624
yices-2.6.5_0.darwin_23.x86_64.tbz2.rmd160         28-Jun-2024 22:37                 512
yices-2.6.5_0.darwin_24.x86_64.tbz2                11-Oct-2024 04:15             3542396
yices-2.6.5_0.darwin_24.x86_64.tbz2.rmd160         11-Oct-2024 04:15                 512