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

File information

• Filename: coq-debugsource-8.13.2-bp154.1.44.aarch64.rpm
• Path: /repositories/openSUSE:/Backports:/SLE-15-SP4/standard_debug/aarch64/coq-debugsource-8.13.2-bp154.1.44.aarch64.rpm
• Size: 1.8MiB (1840964 bytes)
• Last modified: 12-May-2022 02:18:00 (Unix timestamp: 1652321880)
• SHA-512 Hash: 04493a36eaa55e6103062e80efaef02e96f13bd7856ca6671350fa40dd5229bf07697f29595b043b62d893edd6b79f05011af1a946cc2cf84da363d84af50f10
• SHA-256 Hash: 083917e455a5668eb83d15e3d5e8747b0c4e3a603e6bdb4e82eb96f75ac675c4
• SHA-1 Hash: 8f19e70d329ecd6361864f2b236ba89ad8451c03
• MD5 Hash: 8155af8180a78edec7d6df3090bdb174
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/openSUSE:/Backports:/SLE-15-SP4/standard_debug/aarch64/coq-debugsource-8.13.2-bp154.1.44.aarch64.rpm