1. ^
2. repositories
3. openSUSE:
4. Backports:
5. SLE-15-SP4
6. standard_debug
7. ppc64le
8. coq-debugsource-8.13.2-bp154.1.44.ppc64le.rpm

File information

• Filename: coq-debugsource-8.13.2-bp154.1.44.ppc64le.rpm
• Path: /repositories/openSUSE:/Backports:/SLE-15-SP4/standard_debug/ppc64le/coq-debugsource-8.13.2-bp154.1.44.ppc64le.rpm
• Size: 1.8MiB (1841096 bytes)
• Last modified: 12-May-2022 02:22:58 (Unix timestamp: 1652322178)
• SHA-512 Hash: 6889d728af9b52aec32bdc016b11541d114cf3082e0929e8ab92d310bb219ad518960036498045ece88123dcb5c6845906647f740d84637f9a90cbf524308327
• SHA-256 Hash: 6a3511d57c3ce2654b5d174780d2b17316b255d0d1e98374c17d88a6b24ba837
• SHA-1 Hash: b4acc08a3a813948a35f6f06fb32bd19d34c690d
• MD5 Hash: eee0b109d802585518a236ad5fe449f1
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/openSUSE:/Backports:/SLE-15-SP4/standard_debug/ppc64le/coq-debugsource-8.13.2-bp154.1.44.ppc64le.rpm