1. ^
2. repositories
3. openSUSE:
4. Backports:
5. SLE-15
6. standard
7. ppc64le
8. ghc-Agda-2.5.2-bp150.1.3.ppc64le.rpm

File information

• Filename: ghc-Agda-2.5.2-bp150.1.3.ppc64le.rpm
• Path: /repositories/openSUSE:/Backports:/SLE-15/standard/ppc64le/ghc-Agda-2.5.2-bp150.1.3.ppc64le.rpm
• Size: 6.6MiB (6924864 bytes)
• Last modified: 31-Jul-2018 00:22:00 (Unix timestamp: 1532996520)
• SHA-512 Hash: a61879a6988c6c66a45caa21e07dcbf32a2cb8449e657cf6277e819aa98adca7cf52ddefc4a7f8c3aee8bcdb5d8102bd2b469b8d7008cc572008fc08e5f5e7c0
• SHA-256 Hash: 171bc0143f7193ecc26217abc759ae36d1f18319ad70b423d6716b1af33c109d
• SHA-1 Hash: bde6b66a29c0ba3d29be024a9b245ba13a1d118a
• MD5 Hash: 89272ec9d403f117ab48388c84b59043
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/openSUSE:/Backports:/SLE-15/standard/ppc64le/ghc-Agda-2.5.2-bp150.1.3.ppc64le.rpm