1. ^
2. repositories
3. science
4. 15.7
5. noarch
6. coq-doc-8.20.1-bp157.72.17.noarch.rpm

File information

• Filename: coq-doc-8.20.1-bp157.72.17.noarch.rpm
• Path: /repositories/science/15.7/noarch/coq-doc-8.20.1-bp157.72.17.noarch.rpm
• Size: 6.4MiB (6703516 bytes)
• Last modified: 15-Feb-2025 19:43:45 (Unix timestamp: 1739648625)
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://downloadcontent.opensuse.org/repositories/science/15.7/noarch/coq-doc-8.20.1-bp157.72.17.noarch.rpm