Information for file ppx_tools_versioned-5.2.tar.gz
| Name | ppx_tools_versioned-5.2.tar.gz |
|---|---|
| Digest (sha256) | e8a4b7adac8c7a86a8db427834b42a114922e988c89fe0cdb02b7ceeb146c0fd |
| Size | 52681 |
| 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 |
