Index of /macports/packages/yices/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
yices-2.6.5_0.darwin_10.x86_64.tbz2 38186112026-Apr-14 01:47
yices-2.6.5_0.darwin_10.x86_64.tbz2.rmd160 5122026-Apr-14 01:47
yices-2.6.5_0.darwin_10.x86_64.tbz2.sig 1592026-Sep-12 05:53
yices-2.6.5_0.darwin_11.x86_64.tbz2 34205472024-Jun-28 23:04
yices-2.6.5_0.darwin_11.x86_64.tbz2.rmd160 5122024-Jun-28 23:04
yices-2.6.5_0.darwin_11.x86_64.tbz2.sig 1592026-Sep-12 05:53
yices-2.6.5_0.darwin_12.x86_64.tbz2 36476202024-Jun-28 23:07
yices-2.6.5_0.darwin_12.x86_64.tbz2.rmd160 5122024-Jun-28 23:07
yices-2.6.5_0.darwin_12.x86_64.tbz2.sig 1592026-Sep-12 05:53
yices-2.6.5_0.darwin_13.x86_64.tbz2 36232292024-Jun-28 23:06
yices-2.6.5_0.darwin_13.x86_64.tbz2.rmd160 5122024-Jun-28 23:06
yices-2.6.5_0.darwin_13.x86_64.tbz2.sig 1592026-Sep-12 05:53
yices-2.6.5_0.darwin_14.x86_64.tbz2 35889172024-Jun-28 23:05
yices-2.6.5_0.darwin_14.x86_64.tbz2.rmd160 5122024-Jun-28 23:05
yices-2.6.5_0.darwin_14.x86_64.tbz2.sig 1592026-Sep-12 05:53
yices-2.6.5_0.darwin_15.x86_64.tbz2 36644542024-Jun-28 23:07
yices-2.6.5_0.darwin_15.x86_64.tbz2.rmd160 5122024-Jun-28 23:07
yices-2.6.5_0.darwin_15.x86_64.tbz2.sig 1592026-Sep-12 05:53
yices-2.6.5_0.darwin_16.x86_64.tbz2 36043592024-Jun-28 23:06
yices-2.6.5_0.darwin_16.x86_64.tbz2.rmd160 5122024-Jun-28 23:06
yices-2.6.5_0.darwin_16.x86_64.tbz2.sig 1592026-Sep-12 05:53
yices-2.6.5_0.darwin_17.x86_64.tbz2 37178182024-Jun-28 23:05
yices-2.6.5_0.darwin_17.x86_64.tbz2.rmd160 5122024-Jun-28 23:05
yices-2.6.5_0.darwin_17.x86_64.tbz2.sig 1592026-Sep-12 05:53
yices-2.6.5_0.darwin_18.x86_64.tbz2 38276372024-Jun-29 00:39
yices-2.6.5_0.darwin_18.x86_64.tbz2.rmd160 5122024-Jun-29 00:39
yices-2.6.5_0.darwin_18.x86_64.tbz2.sig 1592026-Sep-12 05:53
yices-2.6.5_0.darwin_19.x86_64.tbz2 37772282024-Jun-29 00:36
yices-2.6.5_0.darwin_19.x86_64.tbz2.rmd160 5122024-Jun-29 00:36
yices-2.6.5_0.darwin_19.x86_64.tbz2.sig 1592026-Sep-12 05:53
yices-2.6.5_0.darwin_20.arm64.tbz2 35794602025-Sep-01 05:12
yices-2.6.5_0.darwin_20.arm64.tbz2.rmd160 5122025-Sep-01 05:12
yices-2.6.5_0.darwin_20.arm64.tbz2.sig 1592026-Sep-12 05:53
yices-2.6.5_0.darwin_20.x86_64.tbz2 37524572024-Jun-29 00:42
yices-2.6.5_0.darwin_20.x86_64.tbz2.rmd160 5122024-Jun-29 00:42
yices-2.6.5_0.darwin_20.x86_64.tbz2.sig 1592026-Sep-12 05:53
yices-2.6.5_0.darwin_21.arm64.tbz2 36375112024-Jun-28 22:58
yices-2.6.5_0.darwin_21.arm64.tbz2.rmd160 5122024-Jun-28 22:58
yices-2.6.5_0.darwin_21.arm64.tbz2.sig 1592026-Sep-12 05:53
yices-2.6.5_0.darwin_21.x86_64.tbz2 37669382024-Jun-29 00:56
yices-2.6.5_0.darwin_21.x86_64.tbz2.rmd160 5122024-Jun-29 00:56
yices-2.6.5_0.darwin_21.x86_64.tbz2.sig 1592026-Sep-12 05:53
yices-2.6.5_0.darwin_22.arm64.tbz2 35375662024-Jun-29 05:06
yices-2.6.5_0.darwin_22.arm64.tbz2.rmd160 5122024-Jun-29 05:06
yices-2.6.5_0.darwin_22.arm64.tbz2.sig 1592026-Sep-12 05:53
yices-2.6.5_0.darwin_22.x86_64.tbz2 36539762024-Jun-28 23:28
yices-2.6.5_0.darwin_22.x86_64.tbz2.rmd160 5122024-Jun-28 23:28
yices-2.6.5_0.darwin_22.x86_64.tbz2.sig 1592026-Sep-12 05:53
yices-2.6.5_0.darwin_23.arm64.tbz2 35283842024-Jun-29 01:24
yices-2.6.5_0.darwin_23.arm64.tbz2.rmd160 5122024-Jun-29 01:24
yices-2.6.5_0.darwin_23.arm64.tbz2.sig 1592026-Sep-12 05:53
yices-2.6.5_0.darwin_23.x86_64.tbz2 35906242024-Jun-29 07:37
yices-2.6.5_0.darwin_23.x86_64.tbz2.rmd160 5122024-Jun-29 07:37
yices-2.6.5_0.darwin_23.x86_64.tbz2.sig 1592026-Sep-12 05:53
yices-2.6.5_0.darwin_24.arm64.tbz2 35215012025-Mar-10 09:04
yices-2.6.5_0.darwin_24.arm64.tbz2.rmd160 5122025-Mar-10 09:04
yices-2.6.5_0.darwin_24.arm64.tbz2.sig 1592026-Sep-12 05:53
yices-2.6.5_0.darwin_24.x86_64.tbz2 35423962024-Oct-11 13:15
yices-2.6.5_0.darwin_24.x86_64.tbz2.rmd160 5122024-Oct-11 13:15
yices-2.6.5_0.darwin_24.x86_64.tbz2.sig 1592026-Sep-12 05:53
yices-2.6.5_0.darwin_25.arm64.tbz2 36322892025-Sep-28 06:36
yices-2.6.5_0.darwin_25.arm64.tbz2.rmd160 5122025-Sep-28 06:36
yices-2.6.5_0.darwin_25.arm64.tbz2.sig 1592026-Sep-12 05:53