1. ^
2. repositories
3. openSUSE:
4. Backports:
5. SLE-15-SP7
6. standard
7. src
8. minisat-2.2.1+20200902-bp157.1.4.src.rpm

File information

• Filename: minisat-2.2.1+20200902-bp157.1.4.src.rpm
• Path: /repositories/openSUSE:/Backports:/SLE-15-SP7/standard/src/minisat-2.2.1+20200902-bp157.1.4.src.rpm
• Size: 57KiB (57859 bytes)
• Last modified: 20-Apr-2025 19:06:27 (Unix timestamp: 1745175987)
• SHA-512 Hash: 7f8ee2c14e5c5ccd65b695a2ed28adb6b3f5d38dcf1dd7257b4047d76d6e7caca3d050d9a85199e35a7c6b80e3fc43765bcc1c7303ef4b62cc57d2c7d437fe18
• SHA-256 Hash: 5fde9091631727206ab1d7fa5dd6f3ed7ba533e9c48af9b188ab19c84ecd8915
• SHA-1 Hash: 5f3fab01d7866135a068c8374d589704046dcaca
• MD5 Hash: fadb31f6f58d490500563482af26347f
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/openSUSE:/Backports:/SLE-15-SP7/standard/src/minisat-2.2.1+20200902-bp157.1.4.src.rpm