File information
- Filename: minisat2_2.2.1-5.debian.tar.xz
- Path: /raspbian/pool/main/m/minisat2/minisat2_2.2.1-5.debian.tar.xz
- Size: 9.1K (9348 bytes)
- Last modified: Wed, 30 Jul 2014 10:01:44 GMT (Unix time: 1406714504)
Download file from preferred mirror