1. ^
2. repositories
3. science
4. 15.7
5. x86_64
6. coq-debugsource-8.20.1-bp157.72.8.x86_64.rpm

File information

• Filename: coq-debugsource-8.20.1-bp157.72.8.x86_64.rpm
• Path: /repositories/science/15.7/x86_64/coq-debugsource-8.20.1-bp157.72.8.x86_64.rpm
• Size: 50KiB (50888 bytes)
• Last modified: 06-Feb-2025 09:22:28 (Unix timestamp: 1738833748)
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://cdn.opensuse.org/repositories/science/15.7/x86_64/coq-debugsource-8.20.1-bp157.72.8.x86_64.rpm