1. ^
2. repositories
3. openSUSE:
4. Backports:
5. SLE-15-SP4
6. standard
7. ppc64le
8. coq-8.13.2-bp154.1.44.ppc64le.rpm

File information

• Filename: coq-8.13.2-bp154.1.44.ppc64le.rpm
• Path: /repositories/openSUSE:/Backports:/SLE-15-SP4/standard/ppc64le/coq-8.13.2-bp154.1.44.ppc64le.rpm
• Size: 50MiB (52681732 bytes)
• Last modified: 12-May-2022 02:22:57 (Unix timestamp: 1652322177)
• SHA-256 Hash: 8cb31c62fcbd128ad4532f73e773bcbc2c737648e669a56faed37e8940876980
• SHA-1 Hash: 1095ef901fd11620bdb1bc242d82a3cbc1c5e502
• MD5 Hash: 1e9d4978c85cd64b1bfacea33f54f727
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://downloadcontentcdn.opensuse.org/repositories/openSUSE:/Backports:/SLE-15-SP4/standard/ppc64le/coq-8.13.2-bp154.1.44.ppc64le.rpm