Information for file /usr/share/opam-repository/archives/menhir.20180703+opam.tar.gz
| Name | /usr/share/opam-repository/archives/menhir.20180703+opam.tar.gz |
|---|---|
| Digest (sha256) | a4b3c53ce552dee8510226728c1ea1dd55875526007824a16bbae5bb8a64eb4d |
| Size | 6685238 |
| Modification time | Thu, 13 Sep 2018 18:02:23 CEST |
| User | root |
| Group | root |
| Mode | -rw-r--rw- |
| Flags | |
| RPM | xs-opam-src-4.11.0-1.1.xcp.el7.centos.x86_64.rpm |
