1. ^
2. repositories
3. openSUSE:
4. Backports:
5. SLE-15-SP5
6. standard
7. x86_64
8. coq-8.13.2-bp155.2.13.x86_64.rpm

File information

• Filename: coq-8.13.2-bp155.2.13.x86_64.rpm
• Path: /repositories/openSUSE:/Backports:/SLE-15-SP5/standard/x86_64/coq-8.13.2-bp155.2.13.x86_64.rpm
• Size: 49MiB (51374296 bytes)
• Last modified: 22-May-2023 10:18:09 (Unix timestamp: 1684750689)
• SHA-512 Hash: dea6a97b45c5c546fbd1c15bda2e52563a1cfb2f09c2926954661dba8baf7cd1421ca5d36d1591fc0633ff21f68bbf283eba4b09395b8e5b702a035fe6c08620
• SHA-256 Hash: ee427803ed85bae942a09e3214f0af9f485588183301741971823fa63d83c847
• SHA-1 Hash: f1504c5e93eb3ad0b3d3ad7175c9fd068a485a67
• MD5 Hash: 26f252dcb6f0229128eb10178eb4c345
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/openSUSE:/Backports:/SLE-15-SP5/standard/x86_64/coq-8.13.2-bp155.2.13.x86_64.rpm