Information for file vector-hashtables-0.1.1.3.tar.gz
| Name | vector-hashtables-0.1.1.3.tar.gz |
|---|---|
| Digest (sha256) | 662fc65641871dcbc324db3cf055f2f3482520451a74276b37e307ceb63e2342 |
| Size | 15.35 KB |
| Modification time | Wed, 19 Jun 2024 11:19:52 CST |
| User | mockbuild |
| Group | mock |
| Mode | -rw-rw-r-- |
| Flags | |
| RPM | Agda-2.6.3-1.ocs23.src.rpm |
