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

File information

• Filename: Agda-2.5.2-bp150.1.5.src.rpm
• Path: /repositories/openSUSE:/Backports:/SLE-15/standard/src/Agda-2.5.2-bp150.1.5.src.rpm
• Size: 1.2MiB (1247454 bytes)
• Last modified: 30-Jul-2018 19:30:00 (Unix timestamp: 1532979000)
• SHA-512 Hash: 5f4f80e2347ea19543c9851806e597879a795958545118b0f61c6dec0808b8b5cbb1af4e6ffd779ddaf68bee4b3306025a9b53635a499c0ba5cf51015a05f9ea
• SHA-256 Hash: 64ad2cdee1d5bab704f02fbae22c7f3a8717183fc89f64a3983ac9eb982f3b5d
• SHA-1 Hash: 2cd70fe4dc529bf9d5aeb1a9b7e181567fa32d6e
• MD5 Hash: 8be9bf2b4155ca8bec5174f9f3460f22
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/openSUSE:/Backports:/SLE-15/standard/src/Agda-2.5.2-bp150.1.5.src.rpm