Information for file Agda.spec
| Name | Agda.spec |
|---|---|
| Digest (sha256) | ca1b5a98425a4b85a6250c65ef32683e27b3370556b2459dd30e0ec001e53951 |
| Size | 20.96 KB |
| Modification time | Sat, 18 May 2024 08:00:00 CST |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | Agda-2.6.4.3-48.fc41.src.rpm |