Information for file Agda.spec
| Name | Agda.spec |
|---|---|
| Digest (sha256) | 36f288c874860796a2a1671ff1c17ce15fca8ebd0cc8bb232eac1490e9771347 |
| Size | 20.71 KB |
| Modification time | Tue, 20 Feb 2024 08:00:00 CST |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | Agda-2.6.4.1-47.fc41.src.rpm |