File information
- Filename: minisat+_1.0-4.debian.tar.xz
- Path: /raspbian/pool/main/m/minisat+/minisat+_1.0-4.debian.tar.xz
- Size: 4.1K (4176 bytes)
- Last modified: Wed, 22 Feb 2017 20:22:46 GMT (Unix time: 1487794966)
Download file from preferred mirror