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 | Fri, 02 Aug 2024 17:55:27 CST |
| User | mockbuild |
| Group | mock |
| Mode | -rw-rw-r-- |
| Flags | |
| RPM | Agda-2.6.3-1.oc9.src.rpm |
