Information for file peano-0.1.0.2.tar.gz
| Name | peano-0.1.0.2.tar.gz |
|---|---|
| Digest (sha256) | 8a8fe8718dba5b1a6133e1d9eae5ba69ca76028f59d088985a8489446ac74261 |
| Size | 2.85 KB |
| Modification time | Thu, 07 Dec 2023 09:06:31 UTC |
| User | root |
| Group | root |
| Mode | -rw-rw-r-- |
| Flags | |
| RPM | Agda-2.6.4.3-50.fc41.src.rpm |
