Information for file vector-debian-no_ann_without_ghci.patch
| Name | vector-debian-no_ann_without_ghci.patch |
|---|---|
| Digest (sha256) | 62eabbaabf37966bec0dc0cbb2a2da23a24d80d601e3ebb1f618f96245a9dcb3 |
| Size | 634 |
| Modification time | Thu, 01 Dec 2016 07:55:12 CET |
| User | mockbuild |
| Group | mockbuild |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | ghc-vector-0.10.0.1-7.el7.src.rpm |
