Information for file agda-stdlib-1.3.tar.gz
| Name | agda-stdlib-1.3.tar.gz |
|---|---|
| Digest (sha256) | 573036cc097ed00a6d7c81c5af8b5b2350a94a3c6b9af03b5ce459cf269388ca |
| Size | 733.80 KB |
| Modification time | Fri, 26 Jun 2020 17:14:10 UTC |
| User | mockbuild |
| Group | mock |
| Mode | -rw-rw-r-- |
| Flags | |
| RPM | Agda-stdlib-1.3-3.fc33.src.rpm |
