1. ^
2. repositories
3. devel:
4. tools:
5. statica
6. openSUSE_Tumbleweed
7. src
8. minisat-2.2.1+20230206-1.14.src.rpm

File information

• Filename: minisat-2.2.1+20230206-1.14.src.rpm
• Path: /repositories/devel:/tools:/statica/openSUSE_Tumbleweed/src/minisat-2.2.1+20230206-1.14.src.rpm
• Size: 65KiB (66848 bytes)
• Last modified: 23-Oct-2025 09:29:00 (Unix timestamp: 1761211740)
• SHA-512 Hash: 02a24d2a42fc7416b2adb927dd1bb8ff472a76580e47614f0321973f16a85166efef0d272a844703793f1ae535940df0475aa70c7bdaf88c06752a2d7361ed19
• SHA-256 Hash: c2666ed00d9c9d48e5f2797590e606154b949d010a9c59d823ace3dee2f308f5
• SHA-1 Hash: 69c52487e1311dfad5fda2fc9a4ee937aa37bc53
• MD5 Hash: 88c0c3496afb2db2458e18e20927f79a
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: http://download.opensuse.org/repositories/devel:/tools:/statica/openSUSE_Tumbleweed/src/minisat-2.2.1+20230206-1.14.src.rpm