1. ^
2. repositories
3. science
4. openSUSE_Tumbleweed
5. x86_64
6. coq-ide-8.20.0-70.72.x86_64.rpm

File information

• Filename: coq-ide-8.20.0-70.72.x86_64.rpm
• Path: /repositories/science/openSUSE_Tumbleweed/x86_64/coq-ide-8.20.0-70.72.x86_64.rpm
• Size: 23MiB (23698534 bytes)
• Last modified: 25-Nov-2024 21:09:00 (Unix timestamp: 1732568940)
• SHA-512 Hash: 24523bcaf8c841ef7084a90c1c87a044f3abcd5b628024bfe412552a360dbe72b50f028cd8c4f43a77739fcb7929791f7370aed670b72fa2d15885946ecbfd26
• SHA-256 Hash: 252b5fd7dc60d36abe07fcab6803e982ef6d61878d6fd537ddb5c98bf97a8b84
• SHA-1 Hash: c7ebb2b6e081da5aebe276afe4fb27a86524fe85
• MD5 Hash: 12b47b1bcdb2bdeadf5303743cc870c9
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/science/openSUSE_Tumbleweed/x86_64/coq-ide-8.20.0-70.72.x86_64.rpm