文件详情
完成后请尽快下载，文件不定期删除。 现在时间:2025-06-01 19:24:53 +0800
操作
文件名
下载地址
下载时间
已完成

2025-05-22-17-02-00-platform-Coq-Platform-release-2025.01.0-version.8.20.2025.01-Windows-x86_64.exe

下载地址0 下载地址1 下载地址9
2025-05-22 17:02:01 +0800
文件名
2025-05-22-17-02-00-platform-Coq-Platform-release-2025.01.0-version.8.20.2025.01-Windows-x86_64.exe
下载地址
https://github.com/coq/platform/releases/download/2025.01.0/Coq-Platform-release-2025.01.0-version.8.20.2025.01-Windows-x86_64.exe
提交时间
2025-05-22 17:02:01 +0800
提交用户IP
用户代理
Mozilla/5.0 (Windows NT 6.1; Win64; x64; rv:109.0) Gecko/20100101 Firefox/115.0
文件信息
PE32 executable (GUI) Intel 80386, for MS Windows, Nullsoft Installer self-extracting archive, 5 sections