1. ^
2. repositories
3. science
4. openSUSE_Slowroll
5. x86_64
6. coq-debugsource-9.2.0-87.3.x86_64.rpm

File information

• Filename: coq-debugsource-9.2.0-87.3.x86_64.rpm
• Path: /repositories/science/openSUSE_Slowroll/x86_64/coq-debugsource-9.2.0-87.3.x86_64.rpm
• Size: 36KiB (36891 bytes)
• Last modified: 08-Aug-2026 01:42:00 (Unix timestamp: 1786153320)
• SHA-512 Hash: abcc1bcb0f0462fe5610563d38df9958313f40d245089acb103dd7c010884920bfcdeccb85577fb3edc8c436ebbcb592bd543140650097e373acd07a16fd9073
• SHA-256 Hash: 45e61d00095ad240e2592b62e93ce0cabf394085b4514e4e7087f66757a4ee92
• SHA-1 Hash: f10db90037556762fcadb7ddc872dad24ec32365
• MD5 Hash: 585760b8af225a33ff581e4e906f1169
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/science/openSUSE_Slowroll/x86_64/coq-debugsource-9.2.0-87.3.x86_64.rpm