Information for file vector-hashtables-0.1.1.4.tar.gz
| Name | vector-hashtables-0.1.1.4.tar.gz |
|---|---|
| Digest (sha256) | 4c5d75a3384e76ea4c02587c2bd8123cff3c5c8aab182cee58aea38d824c715b |
| Size | 15.40 KB |
| Modification time | Tue, 20 Feb 2024 19:52:18 CST |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | Agda-2.6.4.3-48.fc41.src.rpm |