고요한하늘 미러 정보 :: GOYOSKY MIRROR INFORMATION
1. 고요한하늘 미러 서비스는 다양한 오픈 소스 소프트웨어, 리눅스 배포판 및 패키지 저장소에 빠르고 안정적인 접근을 제공합니다. 한국 내 사용자를 위해 최적화된 속도와 안정성을 제공합니다.
2. 모든 미러는 24시간 모니터링되며 정기적으로 업데이트됩니다. 문제가 발생하거나 새로운 미러 요청이 있으시면 park9325@gmail.com으로 연락해 주세요.
3. 본 미러사이트는 KRFOSS 미러 프로젝트에 참여하고 있습니다.
미러 파일 리스트(Mirror File List)
/gentoo-repo/sci-mathematics/why3-for-spark/files/
| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| why3-for-spark-2021-sighandler.patch | 408 B | 2025-Apr-12 16:47 |
| why3-for-spark-2023.12.13-spark.patch | 357 B | 2025-Feb-12 03:13 |
| why3-for-spark-2023.12.13-flags.patch | 863 B | 2025-Feb-08 06:11 |
| why3-for-spark-2021-make.patch | 350 B | 2023-Apr-03 15:40 |
| why3-for-spark-2021-flags.patch | 1.2 KiB | 2021-Jun-30 05:09 |
| why3-for-spark-2020-gentoo.patch | 332 B | 2021-Feb-10 03:09 |
| why3-for-spark-2020-bibtex.patch | 288 B | 2021-Feb-10 03:09 |