Information for file Agda-stdlib.spec
| Name | Agda-stdlib.spec |
|---|---|
| Digest (sha256) | 50acaf7f1ff6f3ed5f60ef661cbad6ae89d53acce0768a3e88b455f530bfc547 |
| Size | 5.51 KB |
| Modification time | Mon, 27 Jul 2020 10:17:03 UTC |
| User | mockbuild |
| Group | mock |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | Agda-stdlib-1.3-3.fc33.src.rpm |
