4926.patch
2.84 KB
-rw-r--r--
File
- Name
- 4926.patch
- Digest (sha256)
- 55a3e74b3200dfba35a85f49f0e5bacc0f13395a502775286fc1ecdfb09c5010
- Size
- 2.84 KB
- Modification time
- Thu, 16 Jul 2026 00:00:00 UTC
- Flags
- none
- RPM
- idris-1.3.4-27.fc45.src.rpm