1. ^
2. repositories
3. devel:
4. languages:
5. ocaml
6. openSUSE_Tumbleweed
7. x86_64
8. ocaml-coq-devel-debuginfo-8.19.1-dlo.1699.1.416.x86_64.rpm

File information

• Filename: ocaml-coq-devel-debuginfo-8.19.1-dlo.1699.1.416.x86_64.rpm
• Path: /repositories/devel:/languages:/ocaml/openSUSE_Tumbleweed/x86_64/ocaml-coq-devel-debuginfo-8.19.1-dlo.1699.1.416.x86_64.rpm
• Size: 41KiB (41874 bytes)
• Last modified: 22-Dec-2024 01:04:00 (Unix timestamp: 1734829440)
• SHA-512 Hash: 5ed59dcc2d757b1bbd6438ee892eecc380370f78dc252d04471acc585226e0c81d6d9a8f17888960722a96eddf793de4b8221e5fe8b1ee324d6b7f185fd88261
• SHA-256 Hash: 0eea4985eef9643a571cea6679f2db695af376dabab618c6dda65906285221bd
• SHA-1 Hash: 6609852d9d7afe879f8fd9262b09408b4990c58f
• MD5 Hash: d0333300c57b9db335c1c1a69be4b17e
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://downloadcontent2.opensuse.org/repositories/devel:/languages:/ocaml/openSUSE_Tumbleweed/x86_64/ocaml-coq-devel-debuginfo-8.19.1-dlo.1699.1.416.x86_64.rpm