1. ^
2. repositories
3. openSUSE:
4. Factory:
5. RISCV
6. standard
7. src
8. coq-9.3.0-1.2.src.rpm

File information

• Filename: coq-9.3.0-1.2.src.rpm
• Path: /repositories/openSUSE:/Factory:/RISCV/standard/src/coq-9.3.0-1.2.src.rpm
• Size: 19MiB (19453354 bytes)
• Last modified: 17-Oct-2026 17:36:00 (Unix timestamp: 1792258560)
• SHA-512 Hash: 77e611350b7ae76ada29e0e4e92ae94c08acebeda65a59f9c77a0b4721a2c67282ec59987386eb6676987e6b6f98dd3b43ee0196e42105af5556c85e32457215
• SHA-256 Hash: 922d062932ba6fbc95fc1e6568c2996e43fd769dc180a5493084430352c6dae1
• SHA-1 Hash: 68da1fd10d4d03dfcaf277e1406407dbca1813d5
• MD5 Hash: 818746fa2704253bb9284cdc2a65d92a
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/openSUSE:/Factory:/RISCV/standard/src/coq-9.3.0-1.2.src.rpm