Information for file agda-stdlib-1.7.1.tar.gz
| Name | agda-stdlib-1.7.1.tar.gz |
|---|---|
| Digest (sha256) | 6f92ae14664e5d1217e8366c647eb23ca88bc3724278f22dc6b80c23cace01df |
| Size | 918.10 KB |
| Modification time | Wed, 09 Mar 2022 14:19:47 UTC |
| User | mockbuild |
| Group | mock |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | Agda-stdlib-1.7.1-5.fc38.src.rpm |
