Information for file Agda-2.6.4.3.tar.gz
| Name | Agda-2.6.4.3.tar.gz |
|---|---|
| Digest (sha256) | 74edc96ec57d43bc148b329c02f6b06c3c3c16e8e40802e735570b1424df03a2 |
| Size | 1.78 MB |
| Modification time | Thu, 07 Mar 2024 09:17:19 UTC |
| User | root |
| Group | root |
| Mode | -rw-rw-r-- |
| Flags | |
| RPM | Agda-2.6.4.3-50.fc41.src.rpm |
