File information
- Filename: coq-9.3.0-1.2.src.rpm
- Path: /repositories/openSUSE:/Factory:/PowerPC/standard/src/coq-9.3.0-1.2.src.rpm
- Size: 19MiB (19452887 bytes)
- Last modified: 28-Sep-2026 17:14:00 (Unix timestamp: 1790615640)
- SHA-512 Hash: d2fa803ab4fcee36aa9c3fdba76b07e370d6301654af65f7452dd55daa478d2dbefafba0a79add55b0b7edd23ab67dfe73a28de4c2de387cfda1b4f842183da9
- SHA-256 Hash: 4a18eb1468a5d527a055310ff7edc4d8f42dc75e140f3ad87744b2dd28368ecd
- SHA-1 Hash: 4aa85c159fb4ef59195316bb77058390fba78a03
- MD5 Hash: d867394ccebe94c7dd36725986ad442c
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://download.opensuse.org/repositories/openSUSE:/Factory:/PowerPC/standard/src/coq-9.3.0-1.2.src.rpm
Mirrors
List of best mirrors for IP address 216.73.216.218, located at 39.9587,-82.9987 in (US)
Mirrors which handle this country: 0
- None
Mirrors in other countries, but same continent: 0
- None
Mirrors in other parts of the world: 2
- ftp.gwdg.de (DE)
- opensuse.mirror.liquidtelecom.com (KE)