Information for file portmidi-no.java.patch
| Name | portmidi-no.java.patch |
|---|---|
| Digest (sha256) | 727578ab90fbe9ee8a76998dedd9ecdb54426b9e369cf669b6d2da67cb522033 |
| Size | 3.49 KB |
| Modification time | Fri, 07 Jun 2024 00:00:00 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | portmidi-217-57.fc41.src.rpm |
