4920.patch
772.00 B
-rw-r--r--
File
- Name
- 4920.patch
- Digest (sha256)
- 645558a27b4d4e2e91333b056cad9df02b6c24326e48ee15702e1ec3b1ad1280
- Size
- 772.00 B
- Modification time
- Thu, 16 Jul 2026 00:00:00 UTC
- Flags
- none
- RPM
- idris-1.3.4-27.fc45.src.rpm