1. download
2. repositories
3. openSUSE:
4. Backports:
5. SLE-15-SP4
6. standard_debug
7. s390x
8. coq-ide-debuginfo-8.13.2-bp154.1.44.s390x.rpm

File information

• Filename: coq-ide-debuginfo-8.13.2-bp154.1.44.s390x.rpm
• Path: /repositories/openSUSE:/Backports:/SLE-15-SP4/standard_debug/s390x/coq-ide-debuginfo-8.13.2-bp154.1.44.s390x.rpm
• Size: 1.6MiB (1651964 bytes)
• Last modified: 12-May-2022 07:57:00 (Unix timestamp: 1652342220)
• SHA-512 Hash: d6d503f431ee0d9378e08ee66ed327aa549facd8cb333f0902e0336fcdd547ed727da742002611c304008fc3ee345bedb765e377befad90b533219ce7c37db89
• SHA-256 Hash: 1287153443714bde386404f77950d140a1124b2fe9dd3e34f01e039f7c729f76
• SHA-1 Hash: 6b5f660d5d46d9cbfdc9a1d26cf3056597bf99b7
• MD5 Hash: 1d84c48deebf91306a275ab1aca12ca4
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://downloadcontent2.opensuse.org/repositories/openSUSE:/Backports:/SLE-15-SP4/standard_debug/s390x/coq-ide-debuginfo-8.13.2-bp154.1.44.s390x.rpm