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

File information

• Filename: Agda-2.5.2-bp150.1.3.ppc64le.rpm
• Path: /repositories/openSUSE:/Backports:/SLE-15/standard/ppc64le/Agda-2.5.2-bp150.1.3.ppc64le.rpm
• Size: 10MiB (10855540 bytes)
• Last modified: 31-Jul-2018 00:22:00 (Unix timestamp: 1532996520)
• SHA-512 Hash: d704b3cffd16e0669c2174aecdbc1f1bda1a0dc229219bc4400ef347585abd7811ead1a92c1d2cd2e9c526e2a85d4ff58b40dcff8ac1788176671f6291c2117c
• SHA-256 Hash: cc0bbdd817e706a2aa0296b3632216eb4cf3f97503b6c54d5b43b0662973e7c5
• SHA-1 Hash: ea10e79410fdb9b811960b0ed9a24cd3df175264
• MD5 Hash: af95554417b4060428fceebbb4a70d32
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/openSUSE:/Backports:/SLE-15/standard/ppc64le/Agda-2.5.2-bp150.1.3.ppc64le.rpm