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