1. ^
2. repositories
3. devel:
4. languages:
5. ocaml
6. openSUSE_Tumbleweed
7. src
8. ocaml-rocq-9.3.0-dlo.1699.1.18.src.rpm

File information

• Filename: ocaml-rocq-9.3.0-dlo.1699.1.18.src.rpm
• Path: /repositories/devel:/languages:/ocaml/openSUSE_Tumbleweed/src/ocaml-rocq-9.3.0-dlo.1699.1.18.src.rpm
• Size: 4.9MiB (5125561 bytes)
• Last modified: 07-Oct-2026 09:21:19 (Unix timestamp: 1791364879)
• SHA-512 Hash: a2f53832726fb3aa9452a06bb00dbdc51364a3f9f280d1b39cf322acf4832cc24d4f803eae4e4906c7eb51d9728d1fe04e7ee3e7c005dabfb6e57fdb1031dc47
• SHA-256 Hash: b97d67c200340ea9f9ff1fd85321aafc98db48037b23abe0d6a94e9cfbfbcb04
• SHA-1 Hash: 0fccb66f77603e596ee5d5d5a8304ca0889fbe25
• MD5 Hash: 6bd8acb2d1a71fc39103c7aecc7b6267
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/devel:/languages:/ocaml/openSUSE_Tumbleweed/src/ocaml-rocq-9.3.0-dlo.1699.1.18.src.rpm