Information for file ppxlib-0.2.1.tbz
Name | ppxlib-0.2.1.tbz |
---|---|
Digest (sha256) | 7f89e223e4fcd999bb867d40ed872cf35d3d0aca809a7dd6d63d49d593e90ea3 |
Size | 136082 |
Modification time | Thu, 13 Sep 2018 17:53:56 CEST |
User | builder |
Group | builder |
Mode | -rw-r--r-- |
Flags | |
RPM | xs-opam-src-4.11.0-1.1.xcp.el7.centos.src.rpm |