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