Information for file portmidi-no.java.patch
| Name | portmidi-no.java.patch |
|---|---|
| Digest (sha256) | 727578ab90fbe9ee8a76998dedd9ecdb54426b9e369cf669b6d2da67cb522033 |
| Size | 3.49 KB |
| Modification time | Fri, 21 Jul 2023 00:00:00 UTC |
| User | mockbuild |
| Group | mock |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | portmidi-217-54.fc40.src.rpm |
