1. ^
2. repositories
3. devel:
4. languages:
5. ocaml
6. openSUSE_Tumbleweed
7. src
8. ocaml-coq-9.0.0-dlo.1699.1.290.src.rpm

File information

• Filename: ocaml-coq-9.0.0-dlo.1699.1.290.src.rpm
• Path: /repositories/devel:/languages:/ocaml/openSUSE_Tumbleweed/src/ocaml-coq-9.0.0-dlo.1699.1.290.src.rpm
• Size: 4.6MiB (4794350 bytes)
• Last modified: 16-Oct-2025 23:34:00 (Unix timestamp: 1760657640)
• SHA-512 Hash: 0a282e0505345c1905455b3d66e3c07842078f42d9cbfdb1eceb2ad1acd3971ccb23a4faa2fc79c35e3dbcfb5982c21c60c5bb936e6a933b75bd1fe3da1e98a5
• SHA-256 Hash: c83ddfd0360c3983189bc7dfcf30a5798c70b344306662365b89416c5ebc8a95
• SHA-1 Hash: 66cd25e3eb4e9fbc702fa42ea959b91ee6b36ce3
• MD5 Hash: 4f5714e70ca516d5b704efeb77df8914
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: http://download.opensuse.org/repositories/devel:/languages:/ocaml/openSUSE_Tumbleweed/src/ocaml-coq-9.0.0-dlo.1699.1.290.src.rpm