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

File information

• Filename: ocaml-rocq-9.3.0-dlo.1699.1.11.src.rpm
• Path: /repositories/devel:/languages:/ocaml/openSUSE_Tumbleweed/src/ocaml-rocq-9.3.0-dlo.1699.1.11.src.rpm
• Size: 4.9MiB (5125623 bytes)
• Last modified: 30-Sep-2026 23:43:00 (Unix timestamp: 1790811780)
• SHA-512 Hash: 44b0a1930b623fcba493d369ec3077fe81a7bf1d4cfb40cbcb0d9ae8db67d50c5d81879559d915755d8a4b16ad2a4b12921465e7045ea524040e9670b5bcc279
• SHA-256 Hash: 182f875d520196b23012de86bbd42a2428ee5336213c31d102a20b42c8fdc5c4
• SHA-1 Hash: 183ad312b9408612baec074c10aafa9af3778466
• MD5 Hash: fc5bd4a02cfb667f716e997e27094a75
• 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.11.src.rpm