1. download
2. repositories
3. devel:
4. tools:
5. statica
6. 15.6
7. src
8. minisat-2.2.1+20230206-lp156.4.1.src.rpm

File information

• Filename: minisat-2.2.1+20230206-lp156.4.1.src.rpm
• Path: /repositories/devel:/tools:/statica/15.6/src/minisat-2.2.1+20230206-lp156.4.1.src.rpm
• Size: 58KiB (59213 bytes)
• Last modified: 26-Feb-2026 07:54:00 (Unix timestamp: 1772092440)
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/devel:/tools:/statica/15.6/src/minisat-2.2.1+20230206-lp156.4.1.src.rpm