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

File information

• Filename: ocaml-rocq-9.3.0-dlo.1699.1.10.src.rpm
• Path: /repositories/devel:/languages:/ocaml/openSUSE_Tumbleweed/src/ocaml-rocq-9.3.0-dlo.1699.1.10.src.rpm
• Size: 4.9MiB (5125560 bytes)
• Last modified: 30-Sep-2026 02:56:54 (Unix timestamp: 1790737014)
• SHA-512 Hash: f13aef3d11506fd249f67e0770d114ec614f72132034d52d6475b90d8bbac11cdadc3dd847b1260735724cca2d38fbce1985fdd9025382face6357658d875a93
• SHA-256 Hash: 1f20199a7a558cc7b0271cd16651871aff14e608a6caee8171a86647882fb3d2
• SHA-1 Hash: f0ec94d75bbf4df608ef47264f38a96f46a88f43
• MD5 Hash: 3bd0b968351c1b7911a5a6ac3eaaf2d8
• 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.10.src.rpm