Information for file opam-dev-pubkey.pgp
Name | opam-dev-pubkey.pgp |
---|---|
Digest (sha256) | f52b28181d506c321edf27241f8678c4bf0acc3873753f0ca4d8098f966c11f3 |
Size | 3.07 KB |
Modification time | Wed, 17 Jul 2024 00:00:00 UTC |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags | |
RPM | opam-2.2.0-1.fc41.src.rpm |