Information for file flint-gcc5.patch
Name | flint-gcc5.patch |
---|---|
Digest (sha256) | 7d04939afdc0345f0cec1c49d3da4ecd717a766f6ef9c57b7eaccbeac61eb6ee |
Size | 648.00 B |
Modification time | Sat, 13 Oct 2018 19:52:58 UTC |
User | mockbuild |
Group | mock |
Mode | -rw-r--r-- |
Flags | |
RPM | flint-2.5.2-24.fc30.src.rpm |