404 Not Found

nginx/1.22.1
/yices/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
yices-2.6.5_0.darwin_18.x86_64.tbz23.7 MiB2024-Jun-28 15:39
yices-2.6.5_0.darwin_10.x86_64.tbz23.6 MiB2024-Jun-28 14:06
yices-2.6.5_0.darwin_19.x86_64.tbz23.6 MiB2024-Jun-28 15:36
yices-2.6.5_0.darwin_21.x86_64.tbz23.6 MiB2024-Jun-28 15:56
yices-2.6.5_0.darwin_20.x86_64.tbz23.6 MiB2024-Jun-28 15:42
yices-2.6.5_0.darwin_17.x86_64.tbz23.5 MiB2024-Jun-28 14:05
yices-2.6.5_0.darwin_15.x86_64.tbz23.5 MiB2024-Jun-28 14:07
yices-2.6.5_0.darwin_22.x86_64.tbz23.5 MiB2024-Jun-28 14:28
yices-2.6.5_0.darwin_12.x86_64.tbz23.5 MiB2024-Jun-28 14:07
yices-2.6.5_0.darwin_21.arm64.tbz23.5 MiB2024-Jun-28 13:58
yices-2.6.5_0.darwin_13.x86_64.tbz23.5 MiB2024-Jun-28 14:06
yices-2.6.5_0.darwin_16.x86_64.tbz23.4 MiB2024-Jun-28 14:06
yices-2.6.5_0.darwin_23.x86_64.tbz23.4 MiB2024-Jun-28 22:37
yices-2.6.5_0.darwin_14.x86_64.tbz23.4 MiB2024-Jun-28 14:05
yices-2.6.5_0.darwin_24.x86_64.tbz23.4 MiB2024-Oct-11 04:15
yices-2.6.5_0.darwin_22.arm64.tbz23.4 MiB2024-Jun-28 20:06
yices-2.6.5_0.darwin_23.arm64.tbz23.4 MiB2024-Jun-28 16:24
yices-2.6.5_0.darwin_24.arm64.tbz23.4 MiB2025-Mar-10 00:04
yices-2.6.5_0.darwin_11.x86_64.tbz23.3 MiB2024-Jun-28 14:04
yices-2.6.5_0.darwin_23.x86_64.tbz2.rmd160512 B2024-Jun-28 22:37
yices-2.6.5_0.darwin_16.x86_64.tbz2.rmd160512 B2024-Jun-28 14:06
yices-2.6.5_0.darwin_21.arm64.tbz2.rmd160512 B2024-Jun-28 13:58
yices-2.6.5_0.darwin_22.x86_64.tbz2.rmd160512 B2024-Jun-28 14:28
yices-2.6.5_0.darwin_18.x86_64.tbz2.rmd160512 B2024-Jun-28 15:39
yices-2.6.5_0.darwin_14.x86_64.tbz2.rmd160512 B2024-Jun-28 14:05
yices-2.6.5_0.darwin_10.x86_64.tbz2.rmd160512 B2024-Jun-28 14:06
yices-2.6.5_0.darwin_24.arm64.tbz2.rmd160512 B2025-Mar-10 00:04
yices-2.6.5_0.darwin_19.x86_64.tbz2.rmd160512 B2024-Jun-28 15:36
yices-2.6.5_0.darwin_11.x86_64.tbz2.rmd160512 B2024-Jun-28 14:04
yices-2.6.5_0.darwin_12.x86_64.tbz2.rmd160512 B2024-Jun-28 14:07
yices-2.6.5_0.darwin_13.x86_64.tbz2.rmd160512 B2024-Jun-28 14:06
yices-2.6.5_0.darwin_24.x86_64.tbz2.rmd160512 B2024-Oct-11 04:15
yices-2.6.5_0.darwin_23.arm64.tbz2.rmd160512 B2024-Jun-28 16:24
yices-2.6.5_0.darwin_22.arm64.tbz2.rmd160512 B2024-Jun-28 20:06
yices-2.6.5_0.darwin_15.x86_64.tbz2.rmd160512 B2024-Jun-28 14:07
yices-2.6.5_0.darwin_21.x86_64.tbz2.rmd160512 B2024-Jun-28 15:56
yices-2.6.5_0.darwin_17.x86_64.tbz2.rmd160512 B2024-Jun-28 14:05
yices-2.6.5_0.darwin_20.x86_64.tbz2.rmd160512 B2024-Jun-28 15:42
404 Not Found

404 Not Found

nginx/1.22.1